Declarative Approach to Implementing Automata Classes in Imperative Programming Languages Artyom Astafurov, SPbSUITMO [email protected] Anatoly.