COLOS project MILANO

The Formal Languages Environment AUTOMATA

• finite state automata - FSA, both deterministic and non deterministic
• push-down automata - PDA, both deterministic and non deterministic
• finite state transducers, Moore and Mealy machines
• grammars
• regular expressions
• pattern matching, a module to generate automata given a pattern matching problem

A more detailed description of AUTOMATA

To download a demo version (1.1 MB compressed file). Dowloading you will get a tar file with executable running on HP series 700 and requiring the X11-R5 library. Source code is available upon request.

The AUTOMATA manual

A concise tutorial on Finite Automata

Milano COLOS home page