Symbolic automaton

Files with symbolic automaton and examples.