Die Gestaltung von Software in Form endlicher Automaten ist ein fest etabliertes Entwurfsmuster. Die Darstellung erfolgt dabei als UML-Zustandsdiagramm. Die Automatisierung von technischen Prozessen ist die Anwendung. Mit Lego Robotern werden die Automaten-Programme praktisch umgesetzt.