deterministic finite autoamta