print · source · login   

The following modelling frameworks are supported :

DFAs
syntax benchmarks
Moore machines
syntax benchmarks
Mealy machines
syntax benchmarks
Deterministic interface automata
syntax benchmarks
Register automata
syntax benchmarks