Modelo de comportamiento integrado por un número finito de estados, de transiciones entre esos estados, y de acciones.
1Números de Gödel, gramáticas libres de contexto, autómatas finitos, funciones de correlación y espectros.
2Aineko emite un sonido exclamativo y vuelca un montón de autómatas finitos de color púrpura en el ojo izquierdo de Manfred, desconcertándolo.