Regularly extended E0L grammars allow an infinite number of rules for a given nonterminal provided that the set of right sides of the rules for each nonterminal is a regular language. We show that structural equivalence remains decidable for regularly extended E0L grammars. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Salomaa, K., & Wood, D. (2004). Structural equivalence of regularly extended E0L grammars: An automata theoretic proof. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3113, 259–267. https://doi.org/10.1007/978-3-540-27812-2_23
Mendeley helps you to discover research relevant for your work.