Do you want results only for Non-Deterministic Finate State Automata?
See more