Insertion-Deletion with Substitutions II.
DCFS(2020)
摘要
We discuss substitutions as a further type of operations, added to (in particular, one-sided) insertion-deletion systems. This way, we obtain new characterizations of classes of context-sensitive and recursively enumerable languages. Moreover, we obtain new families of languages containing all regular or contained in the context-free languages.
更多查看译文
关键词
substitutions ii,insertion-deletion
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要