Las máquinas de estado finito son modelos matemáticos que realizan cálculos automáticos sobre una entrada para producir una salida usando un número limitado de modos predefinidos y transiciones entre modos. Aunque más restrictivas que las máquinas de Turing, son útiles para especificar sistemas en tiempo real y coincidencias de patrones simples. Herramientas como el Finite State Machine Editor permiten dibujar diagramas de máquinas de estado finito y compilarlas en Python.