(Eng: state machine) Wiskundig model dat de condities en de overgangen van de ene conditie naar een andere bevat. Een toestandsmachine die een eindig aantal condities kent wordt een eindige toestandsmachine genoemd. Dit is in de praktijk een tamelijk onhandelbaar concept, behalve in situaties waarin slechts een beperkt aantal condities voork...