Add finite automata examples and testscript