/examples/

• ../
• abc.dfa
• even.dfa
• helloworld.dfa
• looptest.ndfa
• mfcs.dfa
• mfcs2.dfa
• nondet.ndfa
• psc.dfa