Translating iterative algorithms into automaton ones

DOI10.1023/A:1020208127964zbMath1036.68065OpenAlexW340837456MaRDI QIDQ1403253

N. I. Tukkel', A. A. Shalyto

Publication date: 1 September 2003

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

Full work available at URL: https://doi.org/10.1023/a:1020208127964

zbMATH Keywords

simplification of Ashcroft-Manna method

Mathematics Subject Classification ID

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

Related Items (1)

Developing a software system for automata-based code generation

Uses Software

• SWITCH

This page was built for publication: Translating iterative algorithms into automaton ones