PC grammar systems with five context-free components generate all recursively enumerable languages.

From MaRDI portal
Publication:1874424