Scattered context grammars generate any recursively enumerable language with two nonterminals

From MaRDI portal
Publication:407598