Complete system of equivalent transformations for two-tape automata with disjoint loops

DOI10.1007/BF02759317zbMath0968.68085OpenAlexW2053272634MaRDI QIDQ1592077

R. I. Podlovchenko, Yu. G. Chashin, V. E. Khachatryan

Publication date: 15 January 2001

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02759317

zbMATH Keywords

two-tape automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• Unnamed Item
• The equivalence problem for deterministic two-tape automata
• The equivalence problem of multitape finite automata
• On the construction of complete systems of equivalent transformations of program schemes

This page was built for publication: Complete system of equivalent transformations for two-tape automata with disjoint loops