Models with a finite number of states that change on inputs. Used to design sequential hardware and, as automata, to describe formal languages and check properties.
Area: Computer Engineering
Covered in
- 5EIB0 Computation II: Finite-State Machines
- 5EIB0 Computation II, resit notes: Finite State Machine (resit) - 5EIB0
- 5XIE0 Computation Modeling: Finite Automata A.2.2, Büchi Automata A.4.2