Completed tests for deterministic automata
Doc fix