DOI10.25596/jalc-2007-317zbMath1148.68032MaRDI QIDQ3517111
Sergey Verlan
Publication date: 12 August 2008
zbMATH Keywords
decidability; formal languages; insertion-deletion systems
Mathematics Subject Classification ID
68Q45: Formal languages and automata
68Q42: Grammars and rewriting systems