Implementation and Application of Automata
From MaRDI portal
Publication:5897694
DOI10.1007/11605157zbMath1172.68424MaRDI 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
68Q45: Formal languages and automata
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Using algebraic models of programs for detecting metamorphic malwares, Inclusion problem in algebraic models of programs with constants, Scheme inclusion verification algorithm in algebraic model of programs with constants, Automaton semigroup models of programs, Program equivalence checking by two-tape automata