Autómata finito determinista (DFA)
- ? Alfabeto de entrada del autómata. Es el conjunto de símbolos que el autómata acepta como entradas
- Q es el conjunto finito de los estados del autómata. El autómata siempre se encontrará en uno de los estados de este conjunto
- q0 es el estado inicial o de arranque del autómata (q0?Q)
- F es el conjunto de estados finales o de aceptación del autómata (F?Q). Al final de una ejecución, si el estado en que se encuentra el autómata es un estado final, diremos que el autómata ha aceptado la cadena de símbolos de entrada.
- ? es la función de transición
?: Q x ? ? Q que determina el único estado siguiente para un par (qi, ?) correspondiente al estado actual y la entrada.