Engineering↗
Finite State Acceptors and Recognisable Languages
Finite state acceptors as unary algebras, recognisable languages, the Myhill–Nerode congruence, the minimal automaton as a quotient, and the closure properties that follow.
Every page in the KEVOS library tagged finite automaton. 1 page.