scientific article
From MaRDI portal
Publication:4061986
zbMath0305.68056MaRDI QIDQ4061986
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Special categories (18B99) Categories of machines, automata (18B20) Categorical structures (18D99)
Related Items
Parameter-reduction of higher level grammars ⋮ The OI-hierarchy is closed under control ⋮ Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable ⋮ The IO- and OI-hierarchies ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Iterated stack automata and complexity classes ⋮ Look-ahead on pushdowns ⋮ Weighted automata with storage ⋮ IO and OI. I ⋮ IO and OI. II ⋮ Decidability of the finiteness of ranges of tree transductions ⋮ Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered ⋮ Principal abstract families of weighted tree languages ⋮ Local higher-order fixpoint iteration
This page was built for publication:
