scientific article
From MaRDI portal
Publication:3485880
zbMath0705.68080MaRDI QIDQ3485880
Sándor Vágvölgyi, Zoltán Fülöp
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Thue and Post systems, etc. (03D03)
Related Items
Bottom-up tree pushdown automata: Classification and connection with rewrite systems ⋮ Term rewriting restricted to ground terms. ⋮ Top-down tree transducers with two-way tree walking look-ahead ⋮ Decidability of equivalence for deterministic synchronized tree automata ⋮ Decidability of equivalence for deterministic synchronized tree automata ⋮ CHAP and rewrite components
