Adding Matrix Control: Insertion-Deletion Systems with Substitutions III
Round 1
Reviewer 1 Report
The authors extended their own work on the insertion-deletion system with substitution. The work is on a hypothetical bio-computing system using DNA's, so the meaning is theoretical.
The authors discuss the effect of appearance checking under this new addition and characterize various family of context-sensitive and recursively enumerable languages. The paper is well-written.
Author Response
Dear reviewer,
we thank you for your comments.
Best regards,
Martin
Reviewer 2 Report
This paper is generally very good, and proves some interesting results. It builds on a significant foundation of previous papers, but it explains the previous work well enough that the research was understandable from this paper alone, and it presents significant new results.
A few minor issues that need to be fixed:
Page 9, line 320 (proof of Theorem 3): in "insertion, deletion or substitution rule" the inclusion of "deletion" is inappropriate and confusing. The special case in Theorem 3 has no deletion rules, nor are they addressed in the proof.
Page 11, line 372 and 375 (and other uses in the proof): M is used in line 372 as part of denoting a specific language class. It is also used in line 375 (and throughout the construction) to denote the matrix being constructed. These are not the same thing, and something else (such as a subscripted M) should be used instead of the latter usage, since the usage of M in line 372 is established notation.
Page 12, line 408: should be "systems" instead of "system"
Page 12, line 416; page 13, line 439, example 3, line 447: "size (1,0,0;1,1,0;0,0)" is being used without the initial * that the notation appears to require in the specification of a matrix ins-del-sub system size. Please be consistent, especially since the notation is extremely involved.
Page 13, Example 3: please clarify the purpose of X_3 and how it affects the use of m_3, since X_3 only appears in one deletion rule.
Page 19, line 612: "The basic is" is not correct English. "The basics are" or "The essentials are" would be, if they suit your purpose.
Author Response
Dear reviewer,
we thank you for your comments.
We have adressed and corrected all of the mistakes
you pointed out.
Best regards,
Martin
