Protocols used in communication systems that are often described using finite automata.
Computerphile