added examples from discrete finite automata tutorial