Automaton semigroup models of programs

DOI10.1134/S0361768806060028MaRDI QIDQ2371659zbMATH OpenFDO

Authors R. I. Podlovchenko

Publication date 5 July 2007

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites work

• scientific article; zbMATH DE number 3140027 (Why is no real title available?)
• scientific article; zbMATH DE number 1738658 (Why is no real title available?)
• Implementation and Application of Automata
• On formalised computer programs
• Program schemes with constants
• Regular models of programs
• The equivalence problem of multitape finite automata

Cited in

(1)

• Inclusion problem in algebraic models of programs with constants

This page was built for publication: Automaton semigroup models of programs

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