Esta categoría se ocupa de las definiciones formales de máquinas de estado finito en informática teórica y las diversas generalizaciones de las mismas.
Las siguientes 81 páginas están en esta categoría, de un total de 81. Es posible que esta lista no refleje los cambios recientes ( más información ).