Definición de autómata finito determinista Un autómata finito determinista consta de: 1. Un conjunto finito de estados, a menudo designado como Q. 2. Un conjunto finito de símbolos de entrada, a menudo designado como Σ . 3. Una función de transición que toma como argumentos un estado y un símbolo de entrada y devuelve un estado. La función de transición se designa habitualmente como δ . En nuestra representación gráfica informal del autómata, δ se ha representa mediante arcos entre los estados y las etiquetas sobre los arcos. Si q es un estado y a es un símbolo de entrada, entonces δ (q,a) es el estado p tal que existe un arco etiquetado a que va desde q hasta p. 4. Un estado inicial, uno de los estados de Q. 5. Un conjunto de estados finales o de aceptación F. El conjunto F es un subconjunto de Q. Un autómata finito “no determinista” (AFN) tiene la capacidad de estar en varios estados a la vez. Esta capacidad a menudo se expresa como la posibilidad de q...