PRESABERES1 Puntos: 1 Cuál de las siguientes cadenas corresponde con un Lenguaje Regular:Seleccione una respuesta.

a. {abaabbb}

b. {abababab}

Correcto: Los lenguajes regulares se llaman así porque sus palabras contienen regularidades o repeticiones.

c. {abca}

d. {aaababaa}

Los lenguajes regulares se llaman así porque sus palabras contienen regularidades o repeticiones. CorrectoPuntos para este envío: 1/1.Los lenguajes regulares se llaman así porque sus palabras contienen regularidades o repeticiones.

2 Puntos: 1 La definición de semántica tiene una connotación importante, una de las definiciones que usted encuentra a continuación no es la correcta. SelecciónelaSeleccione una respuesta.

a. Es el conjunto de reglas que proporcionan el significado de una sentencia o instrucción de cualquier lenguaje de programaciónb. Son las normas o reglas que definen un lenguaje. Son la secuencia de símbolos, que forman cadenas de símbolos de un lenguaje

Incorrecto:La semántica hace referencia a aspectos de interpretación y lógica. La sintáxis hace referencia más a la forma y el órden de presentar los lenguajes.

c. Se refiere al significado o interpretación del significado, de un determinado símbolo, palabra, lenguaje o representación formald. Estudio del significado de los signos lingüísticos y de sus combinaciones, desde un punto de vista sincrónico o diacrónico.

La semántica hace referencia a aspectos de interpretación y lógica. La sintáxis hace referencia más a la forma y el órden de presentar los lenguajes. CorrectoPuntos para este envío: 1/1.El desarrollo de los ordenadores en la década de los 40, con la introducción de los programas en la memoria principal, y posteriormente con los lenguajes de programación de

alto nivel, propician la distinción entre lenguajes formales, con reglas sintácticas y semánticas rígidas, concretas y bién definidas, de los lenguajes naturales como el inglés, donde la sintaxis y la semántica no se pueden controlar fácilmente. Los intentos de formalizar los lenguajes naturales, lleva a la construcción de gramáticas, como una forma de describir estos lenguajes, utilizando para ello reglas de producción para construir las frases del lenguaje. Se puede entonces caracterizar un Lenguaje, mediante las reglas de una gramática adecuada.

3 Puntos: 1 Que apreciación es cierta cuando se habal de la longitud de cadena o palabra |w| de un Alfabeto:Seleccione una respuesta.

a. La longitud de cadena debe ser mayor o igual a uno.b. Dentro de un alfabeto no puede haber cadenas de longitud igual.c. La cadena, palabra o frase, es una secuencia infirnita de símbolos del alfabeto y por tanto su longitud no se puede medir.

d. La cadena vacía si tiene longitud, y su valor es cero.

La cadena vacía "lambda" es válida dentro de un alfabeto y sí tiene longitud.

e. La cadena vacía no tiene longitud pero es válida dento de un alfabeto y se representa por la letra lambda.

La longitud de cadena indica la cantidad de símbolos que componene esa cadena. La cadena vacía si tiene longitud, y su valor es cero. CorrectoPuntos para este envío: 1/1.La longitud de cadena indica la cantidad de símbolos que componene esa cadena. La cadena vacía si tiene longitud, y su valor es cero.

4 Puntos: 1 La evolución de las máquinas (computadoras9 obedece principalmente a:Seleccione una respuesta.

a. Su aplicación para resolver problemas científicos.

Correcto: Un aspecto importante en el desarrollo de los computadores, es sin duda, su aplicación para resolver problemas científicos y empresariales

b. Su aplicación para resol ver problemas de Turingc. Su aplicación para resolver problemas de contexto en lenguajes d eprogramación

d. Su aplicación para resolver problemas infinitos y complejos

CorrectoPuntos para este envío: 1/1.Un aspecto importante en el desarrollo de los computadores, es sin duda, su aplicación para resolver problemas científicos y empresariales

5 Puntos: 1 Cuáles de los siguientes elementos son necesarios para conocer el estado de un Autómata en un momento dado.Seleccione al menos una respuesta.

a. Estado Finito

b. Lenguaje

c. Símbolo de Entrada

Correcto: El estado de un autómata es toda la información necesaria en un momento dado, para poder deducir, dado un símbolo de entrada en ese momento, cual será el símbolo de salida

d. Lenguaje que reconoce el autómata.

e. Alfabeto

f. Cadena rechazada

g. Cadena aceptada

h. Símbolo de salida

Correcto: El estado de un autómata es toda la información necesaria en un momento dado, para poder deducir, dado un símbolo de entrada en ese momento, cual será el símbolo de salida

Se define configuración de un autómata a su situación en un instante. Se define movimiento de un autómata como el transito entre dos configuraciones. Si un autómata se encuentra en un estado determinado, recibe un símbolo también determinado, producirá un símbolo de salida y efectuará un cambio o transición a otro estado (también puede quedarse en el mismo estado). CorrectoPuntos para este envío: 1/1.Conocer el estado de un autómata, es lo mismo que conocer toda la historia de símbolos de entrada, así como el estado inicial, estado en que se encontraba el autómata al recibir el primero de los símbolos de entrada. El autómata tendrá un determinado número de estados (pudiendo ser infinitos), y se encontrará en uno u otro según sea la historia de símbolos que le han llegado.

6 Puntos: 1 De un Lenguaje Libre de Contexto podemos afirmar que es:Seleccione una respuesta.

a. Es el Algoritmo que nos indica el lenguaje de la gramáticab. Es lo mismo que decir un Autómata Libre de Contexto

c. Es un lenguaje regular

d. Es un Lenguaje que es generado por una gramática libre de contexto

Correcto: (gramáticas libres del contexto) generan los lenguajes independientes del contexto.

(gramáticas libres del contexto) generan los lenguajes independientes del contexto. CorrectoPuntos para este envío: 1/1.Consideramos entonces los lenguajes libres (independientes) del contexto, y las gramáticas libres del contexto y los autómatas con pila, como forma de caracterizarlos y manejarlos. Los distintos lenguajes formales que se pueden construir sobre un alfabeto concreto pueden clasificarse en clases cada vez más amplias que incluyen como subconjunto a las anteriores, de acuerdo con la jerarquía establecida por Chomsky en los años 50.

RECONOCIMIENTO UNIDAD 1

1 Puntos: 1 Dado el siguiente Autómata (AFND)

Identifique la (ER) Expresión Regular que lo representa:Seleccione una respuesta.

a. (aa)*b*

b. a*ab* Correcto

c. aab*

d. a*(ab)*

Una cadena válida sería la que iniciara por una o varias a seguida de una o varias b CorrectoPuntos para este envío: 1/1.La notación de conjuntos nos permite describir los lenguajes regulares, pero se utiliza una notación en que las representaciones de los lenguajes son simplemente texto (cadenas de caracteres). Así las representaciones de los lenguajes regulares son simplemente palabras de un lenguaje (el de las representaciones correctamente formadas). Con estas ideas se va a definir un lenguaje, el de las expresiones regulares, en que cada palabra va a denotar un lenguaje regular.

2 Puntos: 1

Los lenguajes aceptados por los autómatas finitos son fácilmente descritos por expresiones simples llamadas expresiones regulares quienes les dan el nombre de conjuntos regulares a dichos lenguajes.

Estas características son definidas también por el tipo de gramática. Un concepto claro y ordenado de estos conceptos es: (seleccione solo una opción).

Seleccione una respuesta. a. Los autómatas finitos son capaces de reconocer diferentes tipos de lenguajes, que pueden ser caracterizados también, mediante diferentes tipos de gramáticas para un solo lenguaje.b. Una forma adicional de caracterizar los lenguajes regulares, es mediante las llamadas expresiones regulares, que son las frases del lenguaje, construidas

Correcto: Estas caracterizaciones de los lenguajes regulares se utilizan en la práctica, según que la situación concreta esté favorecida por la forma de describir el lenguaje de cada

mediante operadores sobre el alfabeto del mismo y otras expresiones regulares, incluyendo el lenguaje vacío

una de ellas. Los autómatas finitos se utilizan generalmente para verificar que las cadenas pertenecen al lenguaje, y como un analizador en la traducción de algoritmos al computador.

c. Los autómatas pueden usarse para reconocer lenguajes. Es decir, para leer cadenas (secuencias de símbolos) sin importar si pertenecen o no a un lenguaje. Son máquinas poderosas que automatizan procesos y combinan lenguajes.d. Los autómatas no pueden describir el comportamiento de otras máquinas o sistemas. ya que son únicos para cada algoritmo, es decir desarrollan su propio problema.

Estas caracterizaciones de los lenguajes regulares se utilizan en la práctica, según que la situación concreta esté favorecida por la forma de describir el lenguaje de cada una de ellas. Los autómatas finitos se utilizan generalmente para verificar que las cadenas pertenecen al lenguaje, y como un analizador en la traducción de algorítmos al computador. CorrectoPuntos para este envío: 1/1.Estas caracterizaciones de los lenguajes regulares se utilizan en la práctica, según que la situación concreta esté favorecida por la forma de describir el lenguaje de cada una de ellas. Los autómatas finitos se utilizan generalmente para verificar que las cadenas pertenecen al lenguaje, y como un analizador en la traducción de algorítmos al computador.

3 Puntos: 1

Identifique la operación básica y que es correcta para un Autómata .

Seleccione una respuesta. a. El autómata recibe los símbolos de entrada en orden aleatorio o en diferentes estados y la función de este autómata (Máquina) es ordenarlos e interpretarlos.b. El autómata no es una simulación. No es una máquina.c. El símbolo de salida que en un instante determinado produce un autómata, no sólo depende del último símbolo recibido a la entrada, sino de toda la secuencia o cadena, que ha recibido hasta ese instante.

Esta es la respuesta correcta: Un autómata produce entradas y salidas ordenadas que dependen del estado en que se encuentre.

d. La información que codifica el autómata es convertida a un sistema de dos dígitos (entrada y

salida) es decir (1 y 0), Sistema binarioPara comprender el significado de Autómata, tendremos en cuenta el término máquina, que evoca algo hecho en metal, usualmente ruidoso y grasoso, que ejecuta tareas repetitivas que requieren de mucha fuerza o velocidad o precisión. CorrectoPuntos para este envío: 1/1.Desde el punto de vista intuitivo, podemos ver un autómata finito como una caja negra de control, que va leyendo símbolos de una cadena escrita en una cinta, que se puede considerar ilimitada por la derecha. Existe una cabeza de lectura que en cada momento está situada en una casilla de la cinta. Inicialmente, esta se sitúa en la casilla de más a la izquierda

4 Puntos: 1 La “Teoría de Lenguajes”, define bloques constructores de lenguaje. El bloque más sencillo es el alfabeto. De las siguientes afirmaciones cuales definen o son verdaderas con respecto a un “alfabeto”Pueden haber varias opciones válidas

Seleccione al menos una respuesta.

a. { α , α , …, α } Es un ejemplo de alfabeto.

b. Los símbolos pueden ser nombres. Correcto

c. Los alfabetos son finitos. Correcto

d. Por símbolo, no se está haciendo referencia a un solo carácter. Correcto

Lenguaje Formal: Un alfabeto es un conjunto finito de símbolos. De esta definición se debe resaltar lo siguiente. (1) Los alfabetos son finitos. (2) Por símbolo no se está esta haciendo referencia a un sólo carácter. Los símbolos pueden ser nombres. Todas las respuestas son verdaderas. Parcialmente correctoPuntos para este envío: 0.8/1.Lenguaje Formal: Un alfabeto es un conjunto finito de símbolos. De esta definición se debe resaltar lo siguiente. (1) Los alfabetos son finitos. (2) Por símbolo no se está esta haciendo referencia a un sólo carácter. Los símbolos pueden ser nombres. Todas las respuestas son verdaderas.

5 Puntos: 1 Asocie correctamente los siguientes conceptos con referencia al tipod elenguajes que pueden implementar las máquinas (Autómatas).Gramáticas Generales Máquinas de TuringGramáticas Independientes del Contexto Autómatas de pilaLenguajes (Expresiones Regulares) Autómatas finitosEn Autómatas cuando tenemos lenguajes muy sencillos RegularidadCorrecto

Puntos para este envío: 1/1.Los Lenguajes más sencillos son los considerados lenguajes regulares, es decir, los que se pueden generar a partir de lenguajes de un elemento con la aplicación de ciertas operaciones estandar realizadas un número finito de veces. Estos son pues los lenguajes que pueden reconocer los dispositivos llamados Autómatas finitos (AF) que son máquinas de cómputo con memoria muy restringida. En esta unidad se considera como segundo aspecto la idea de que un lenguaje no sea regular, ademas de proporcionar un modelo sencillo de computación que se puede generalizar en las unidades siguientes.

6 Puntos: 1

1. Se denomina cadena, palabra o frase a una secuencia finita de símbolos de un alfabeto ∑.

Estas cadenas son denotadas como w.

Dado el siguiente autómata finito determinístico (AFD) A = (Q, ∑, f, q0, F) donde:

Q es un conjunto de estados.

∑ es el alfabeto de entrada

f: Q X ∑ → Q es la función (total) de transición.

q0 pertenece Q es el estado inicial.

F incluye Q es el conjunto de estados finales.

Y que para el ejercicio ∑ = {a,b} Q ={ q0, q1} F = {q1} se representa mediante el siguiente diagrama de Moore:

El conjunto de palabras aceptadas por este autómata son:

Seleccione una respuesta.

a. {w a | w ϵ {a,b}* }Correcto: El conjunto de palabras aceptadas por este autómata son la palabras que terminan en a.

b. Todas las palabras que terminan en dos a´s

c. {w a | w ϵ {a,b} potencia 2 }

d. Todas las palabras que terminan en a y que estén precedidas por una b

El conjunto de palabras aceptadas por este autómata son la palabras que terminan en a. CorrectoPuntos para este envío: 1/1.El conjunto de palabras aceptadas por este autómata son la palabras que terminan en a.

LECCION EVALUATIVA 1

1 Puntos: 1 Asocie los términos correctamente:Conjunto de palabras (cadenas de caracteres) de longitud finita formadas a partir de un alfabeto (conjunto de caracteres) finito.

Lenguaje Formal

Conjunto finito AlfabetoIncluyen a los Libres de Contexto (y por lo tanto a los Lenguajes Regulares).

Lenguajes recursivamente enumerables

Incluyen a los Lenguajes RegularesLenguajes libres de contexto

Jerarquía de Lenguajes Chomsky

Es la clase más peque˜na, e incluye a los lenguajes más simples Lenguajes regularesCorrectoPuntos para este envío: 1/1.Llamamos “clase de lenguajes” a conjuntos de lenguajes que comparten una cierta propiedad dada. Esta noción es muy abstracta, pues ya los lenguajes son en s´ı mismos conjuntos de secuencias de símbolos, y las clases de lenguajes son entonces conjuntos de conjuntos de secuencias de s´ımbolos.

2 Puntos: 1

Sea el Autómata Finito (AF) A= (∑, Q, f. q1, F) donde ∑ = {0,1} , Q = {q1, q2, q3, q4 }, F= { q2}  y definimos la función de transición f por la tabla siguiente:

Indique cuál es lenguaje generado por el autómata:

Seleccione una respuesta. a. 1( 1) (0)*

b. 1*(1)

c. 1(01) *Correcto: La expresión regular genera las cadenas que inician con 1 y que luego pueden o no tener un 0 o un 1 .

d. 0(010)*

La expresión regular genera las cadenas que inician con 1 y que luego pueden o no tener un 0 o un 1 . CorrectoPuntos para este envío: 1/1.La tabla de transición también es una forma de describir un Autómata. Con ella se puede identificar su ER. La expresión regular genera las cadenas que inician con 1 y que luego pueden o no tener un 0 o un 1 .

3 Puntos: 1

Indique cuál de las siguientes afirmaciones referidas a lenguajes del alfabeto ∑ = {0,1,2} son ciertas:

Seleccione al menos una respuesta. a. El lenguaje de las cadenas equilibradas con igual número de 0´s y de 1´s tales que ningún prefijo de cualquiera de ellas posee más de dos 0´s que 1´s ni más de dos 1´s que 0´s es un lenguaje regular.b. No existe ningún autómata determinista que reconozca el lenguaje de las cadenas en las que toda pareja de 0´s contiguos aparece antes de cualquier pareja de 1´s contiguos.c. El lenguaje de las cadenas con a lo sumo una pareja de 0´s consecutivos y a los sumo una pareja de 1´s consecutivos no es regular.d. Si L es un lenguaje regular también lo es el lenguaje consistente en las inversas de las cadenas de L

Parcialmente correctoPuntos para este envío: 0.5/1.Los tres lenguajes descritos son regulares. Además si existe un autómata finito determinista que reconoce un lenguaje, bastará con intercambiar estado inicial por final e invertir el sentido de las transiciones para obtener un autómata finito que reconoce el lenguaje de las cadenas inversas.

4 Puntos: 1 Se diseña el siguiente Autómata Finito Deterministico (AFD) para el lenguaje de palabras

del alfabeto {a,b} que no tiene varias a´s seguidas. Esta solución es defectuosa porque.

Seleccione al menos una respuesta.

a. Hay palabras como “baa”, que tiene a´s seguidas y sin embargo son aceptadas por el AFD.

Correcto: El "problema de diseño" de un AFD es considerar demasiadas posibilidades. El hecho que tenga dos estados finales o de aceptación no es problema y es válido en el diseño. La palabra "baba" No es aceptada por el autómata aunque sus elementos o símbolos si hacen parte del alfabeto que las compone.

b. Hay palabras como “baba” que no tienen a´s seguidas y sin embargo son aceptadas por el AFD pero que no pertenecen al alfabeto dado.c. Hay palabras como “ba”, que no tienen a´s seguidas y sin embargo no son aceptadas por el AFDd. Tiene dos finales o de aceptación q1 y q2 .

Incorrecto: Los dos estados finales no son errores de diseño.

Parcialmente correctoPuntos para este envío: 0.5/1.El "problema de diseño" de un AFD es considerar demasiadas posibilidades. El hecho que tenga dos estados finales o de aceptación no es problema y es válido en el diseño. La palabra "baba" No es aceptada por el autómata aunque sus elementos o símbolos si hacen parte del alfabeto que las compone.

5 Puntos: 1 El número mínimo de estados de un autómata finito no determinista es:Seleccione una respuesta.

a. Depende del alfabeto sobre el que está definido.b. No hay número mínimo

c. Dos

d. UnoCorrecto: Un solo estado es suficiente para repesentar una máquina SFND si así fuese su diseño. En este caso el mismo estado inicial es el final.

Hacemos notar en este punto que, dado que los AFN tienen menos restricciones que los AFD, resulta que los AFD son un caso particular de los AFND, por lo que todo AFD es de hecho un AFND. Un solo estado es suficiente para representar esta máquina si así se diseñara. (AFND) CorrectoPuntos para este envío: 1/1.Una extensión a los autómatas finitos deterministas es la de permitir que de cada nodo del diagrama de estados salga un número de flechas mayor o menor que Así, se puede permitir que falte la flecha correspondiente a alguno de los símbolos del alfabeto, o bien que haya varias flechas que salgan de un solo nodo con la misma etiqueta. Inclusive se permite que las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacía. A estos autómatas finitos se les llama no Determinísticos o no deterministas (abreviado AFND), Al retirar algunas de las restricciones que tienen los autómatas finitos Determinísticos, su diseño para un lenguaje dado puede volverse más simple.

6 Puntos: 1

Los palíndromos (palabras capicúas) del idioma castellano, tales como “a”, “y”, “dad”, “oso”, “erre”, etc., constituyen un:

Seleccione una respuesta.

a. Lenguaje estructurado por frases (en sentido estricto).

b. Lenguaje Independiente del Contexto (en sentido estricto).

c. Lenguaje Regular Respuesta Equivocada

d. Lenguaje Normal

Un lenguaje independiente del contexto se puede caracterizar mediante una gramática independiente del contexto que “casi” tiene la forma normal de Chomsky. IncorrectoPuntos para este envío: 0/1.Los lenguajes independientes del contexto que tambien se conocen con el nombre de gramaticas de contexto libre son un método recursivo sencillo de especificación de reglas gramaticales con las que se pueden generar cadenas de un lenguaje. Es factible producir de esta manera todos los lenguajes regulares, ademas de que existen ejemplos sencillos de gramaticas de contexto libre que generan lenguajes no regulares. Las reglas gramaticales de este tipo permiten que la sintaxis tenga variedad y refinamientos mayores que los realizados con lenguajes regulares, en gran medida sirven para especificar la sintaxis de lenguajes de alto nivel y otros lenguajes formales.

7 Puntos: 1 En un autómata Finito Determinista (AFD), Es válido afirmar que :Seleccione una respuesta.

a. A diferencia de los AF (Autómatas Finitos), los Autómatas Finitos Determinísticos Por ser AFD, no tienen ningún ciclo de ejecución. Solo leen un dato de entrada.b. El nombre “determinista” viene de la forma en que está definida la función de transición: si en un instante t la máquina está en el estado q y lee el símbolo a entonces, en el instante siguiente t + 1 la máquina cambia de estado y sabemos con seguridad cual es el estado al que cambia, que es precisamente δ(q, a).

Respuesta Correcta: La función de transición define que sea determinado o no.

c. Todo autómata finito determinista de n estados, cuyo alfabeto E contiene m símbolos debe tener m x n transiciones.d. A diferencia de los AF (Autómatas Finitos), los Autómatas Finitos Determinísticos Por ser AFD, este no debe ser inicializado con ningún símbolo de entrada

Una extensión a los autómatas finitos deterministas es la de permitir que de cada nodo del diagrama de estados salga un número de flechas mayor o menor que Así, se puede permitir

que falte la flecha correspondiente a alguno de los símbolos del alfabeto, o bien que haya varias flechas que salgan de un solo nodo con la misma etiqueta. Inclusive se permite que las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacía. A estos autómatas finitos se les llama no Determinísticos o no deterministas (abreviado AFND), IncorrectoPuntos para este envío: 0/1.El nombre “determinista” viene de la forma en que está definida la función de transición: si en un instante t la máquina está en el estado q y lee el símbolo a entonces, en el instante siguiente t + 1 la máquina cambia de estado y sabemos con seguridad cual es el estado al que cambia, que es precisamente δ(q, a).

8 Puntos: 1

Indique cuál de las siguientes afirmaciones se apropia a los conceptos de los Autómatas Finitos:

Seleccione una respuesta. a. Las máquinas de Turing y los autómatas de pila son autómatas finitosb. Los autómatas finitos tienen un número finito de estados.

Correcto: De hecho esta es una propiedad relevante y excluyente de estos autómatas.

c. Los autómatas finitos sólo pueden aceptar lenguajes finitos.d. Ninguna de las afirmaciones anteriores es cierta

Al ser finitos, estas máquinas aún mas abstractos, tratan secuencias de eventos aceptables de manera definida y concreta. CorrectoPuntos para este envío: 1/1.Al describir una máquina de estados finitos en particular, debemos incluir las informaciones que varían de un autómata a otro; es decir, no tiene sentido incluir descripciones generales aplicables a todo autómata. Estas informaciones son exactamente las que aparecen en un diagrama de estados y transiciones.

9 Puntos: 1 Sea el autómata A = (∑, Q, f, q1, F) donde

∑ ={a,b}, Q = {q1, q2, q3, q4}, F= { q4} y la función f vienen dada por la siguiente tabla:

Determine qué aspectos son válidos para el autómata.

Seleccione al menos una respuesta. a. El lenguaje reconocido por el autómata es: a (b* | a* ) ba*b. Es un Autómata Finito Determinístico con lambda - transiciones

Incorrecto: No solo hay transiciones Lambda

c. El lenguaje reconocido por el autómata es: a (b*b | a*b) a*d. Es un Autómata Finito Determinístico (AFD)

Incorrecto:Se debe tener en cuenta la propiedad de "determinístico o no determinístico"

Es una Autómata Finito. IncorrectoPuntos para este envío: 0/1.Es un AFND. El lenguaje que reconoce es : a (b*b | a*b) a* o también a (b* | a* ) ba* para efectos de mejor comprensión, se debe escojer una cadena válida y compararla con la ER.

10 Puntos: 1

Que representa la siguiente figura:

Seleccione una respuesta. a. No representa un autómata válido por que tiene un

solo estado.

b. Un Autómata de tipo AFND válidoCorrecto: Es una extensión válida de un AFD.

c. No representa un autómata válido por que el mismo estado inicial es el mismo estado final.d. Un Autómata que acepta palabras o cadenas que contienen únicamente b´s

Es un Autómata Finito No Determinístico (AFND) válido. Es una extensión válida de un AFD. Permite que de cada nodeo del diagrama de estados salga un número de flechas mayor o menor que |∑| CorrectoPuntos para este envío: 1/1.Es un Autómata Finito No Determinístico (AFND) válido. Es una extensión válida de un AFD. Permite que de cada nodeo del diagrama de estados salga un número de flechas mayor o menor que |∑|