Automaton semigroup models of programs

DOI10.1134/S0361768806060028zbMATH Open1161.68548MaRDI QIDQ2371659FDOQ2371659

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

• The equivalence problem of multitape finite automata
• On formalised computer programs
• Title not available (Why is that?)
• Implementation and Application of Automata
• Title not available (Why is that?)
• Program schemes with constants
• Regular models of programs

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)