zbMath0462.68052MaRDI QIDQ3912046
Eljas Soisalon-Soininen, Derick Wood
Publication date: 1981
zbMATH Keywords
decidability; cover; derivation trees
Mathematics Subject Classification ID
68Q45: Formal languages and automata
68N20: Theory of compilers and interpreters