Implementation and Application of Automata

DOI10.1007/11605157zbMath1172.68424OpenAlexW2544597226MaRDI QIDQ5897694

R. I. Podlovchenko, Vladimir A. Zakharov, Dmitry Rusakov

Publication date: 13 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Automaton semigroup models of programs, Inclusion problem in algebraic models of programs with constants, Scheme inclusion verification algorithm in algebraic model of programs with constants, Program equivalence checking by two-tape automata, Using algebraic models of programs for detecting metamorphic malwares