Este documento describe diferentes tipos de máquinas de estado finito. Explica que las máquinas de aceptación solo producen salidas binarias (sí/no) dependiendo del estado actual. Los transductores pueden convertir entradas en salidas que pueden ser binarias o no. También resume las ventajas e inconvenientes de las máquinas de estado finito, y brinda detalles sobre cómo las máquinas de Turing pueden simular algoritmos y ayudar a comprender los límites del cálculo mecánico.