Teoría de autómatas
De Wikipedia, la enciclopedia libre
La teoría de autómatas es una rama de las ciencias de la computación que estudia matemáticamente máquinas abstractas.
Formalmente, un autómata finito (AF) puede ser descrito como una 5-tupla .