scientific article; zbMATH DE number 3848637

MaRDI QIDQ3318134zbMATH OpenFDO

Authors

Publication date 1982

zbMATH Keywords

arithmetic automatacomputationcontrol graphprogramprogramming languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 4203724
• Program equivalence checking by two-tape automata
• scientific article; zbMATH DE number 862230
• scientific article; zbMATH DE number 46687
• scientific article; zbMATH DE number 3976320

Cited in

(7)

• On the transition graphs of Turing machines.
• Solvability of equivalence problem for program machines
• scientific article; zbMATH DE number 3902040 (Why is no real title available?)
• scientific article; zbMATH DE number 3976320 (Why is no real title available?)
• scientific article; zbMATH DE number 1738661 (Why is no real title available?)
• Interaction Graphs
• Implementation and Application of Automata

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3318134)