#deterministic finite automaton #finite state machine #computation theory #accept reject state #binary input #theoretical computer science