Eindige automaten

We behandelen hier een ander soort automaten: eindige automaten.
Ook hier weer gaat het om het werken met vormen: een eindige automaat verwerkt een reeks invoersymbolen tot een reeks uitvoersymbolen.
De uitvoersymbolen kunnen verschillen van de invoersymbolen.

Een eindige automaat bestaat uit de volgende onderdelen:

Voorbeeld van een automaat. A, B, en C zijn de toestanden.
A is de begintoestand. Het invoeralfabet is {M, T}. 
Het uitvoeralfabet is {M+, H+}. Bij sommige overgangen verandert
de toestand niet.


We tekenen een automaat op de volgende manier: