Equivalent transformations of metalinear LA(1) grammars and unary recursive schemes

DOI10.1007/BF01068894zbMath0444.68071MaRDI QIDQ3888557

I. A. Basarab

Publication date: 1979

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

canonical formequivalent transformationsmetalinear unary recursive schemesmetalinear LA(1) grammarsprogram schemes containing recursive definitions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• A regularity test for pushdown machines

This page was built for publication: Equivalent transformations of metalinear LA(1) grammars and unary recursive schemes