Non deterministic automata

Non-det automata
Non-det pso
tests