Finite automata (intro)
Boolean algebra and computation basics · Mathematics
Study notes
Q: Build a DFA accepting binary strings ending in 1. States: q0 (last seen 0 / start), q1 (last seen 1). Transitions: q0 --0--> q0, q0 --1--> q1; q1 --0--> q0, q1 --1--> q1. Accept: {q1}. Test '101': q0→q1→q0→q1: ends q1, ACCEPT ✓. Test '100': ends q0, REJECT.