Lenguajes Formales y computabilidad S21

Que tienen en común las expresiones regulares y los autómatas. Ambos son naturales. Ambos se escriben en arameo. Ambos representan a los lenguajes naturales. Ambos representan a los lenguajes regulares. Ambos representan a los lenguajes informales.

Dado el autómata de la figura y un alfabeto ∑={0,1}, cual de la cadenas es aceptada si q0 es el estado inicial y q1 es el estado final?. 1010. 0101. 0001. 1101. 1011.

Sea S un subconjunto finito de un conjunto infinito U. Sea T el conjunto complementario de S con respecto de U, entonces ¿Cuál es la opción correcta?. T unión U=S. T es infinito. T es finito. T=S. T= es una cadena vacia.

Hablando de computabilidad ¿Cuál de las opciones es la definición correcta de Lenguaje?. Forma de expresión verbal y no verbal de un pueblo que los identifica como Nación. Capacidad propia del ser humano para expresar pensamientos y sentimientos por medio de la palabra. Conjunto de cadenas de caracteres de un mismo alfabeto. Es la expresión masculina de la lengua. Léxico de la gente que vive en un mismo lugar.

Dadas las cadenas x=aba e y=bab, ¿cúal de las siguientes afirmaciones es correcta?. |x.y| = x.y. |x.y| = 5. x.y = bababa. x.y = ababab. |x.y| ≠ |y.x|.

¿Cómo se marca el/los estados de aceptación en una tabla de transición?. Con un >al inicio. Con una flecha en la parte anterior. Con un * asterisco en la parte anterior. Con un #(numeral) en la parte anterior. Con una @al inicio.

Cúal es la particularidad que define a un Autómata finito no determinista vs uno Determinista. tiene más funciones. no poseen estados iniciales. Poder estar en varios estados en forma simultánea. Siempre es el doble de extenso. Es más completo.

¿Con que se corresponden las columnas de una tabla de transiciones que utilizamos para los Autómatas?. Los estados. Las reglas. Los resultados del producto cartesiano de las entradas. Las entradas. Las funciones.

Si tenemos el lenguaje L ={ 0,10 }y le aplicamos la operación de clausura de kleene,L*.¿Cuál es la opción correcta resultante?. L*={¿,00,10,0000,0010,1000,1010,111111,000010,101010,101000,100010,¿}, donde¿=cadena vacía. L*={00,10,0000,0010,1000,1010,000000,000010,001010,101010,101000}. L*={00,10,0000,0010,1000,1010,000000,000010,001010,101010,101000,100010.¿}donde¿= cadena vacía. L*{¿,0,1,10,0000,0010,1000,1010,000000,000010,001010,101010,101000,100010,¿}, donde¿=cadena vacía. L*{¿,00,10,0000,0010,1000,1010,0000,0010,1000,1010,000000,000010,001010,101010,101000,100010,¿},donde ¿ =cadena vacía.

Si hablamos del método que utilizamos para inferir que determinada cadena pertenece al lenguaje de cierta variable desde cuerpo hasta cabeza. ¿De qué métodos hablamos?. Inferencia recursiva. Inferencia negativa. Concatenación. Producción. Derivación.

Con una construcción de subconjuntos podemos demostrar que: La maquina de Moore se puede convertir en la máquina de Mealy. Los lenguajes se pueden convertir en máquina de Turing. Todos los conjuntos son infinitos. Los autómatas finitos deterministas pueden hacer lo que hacen los autómatas finitos no deterministas. Los autómatas finitos deterministas son todos binarios.

De que otra forma podemos programar en un lenguaje de programación a un autómata que no sea con case e if?. Con while. Con repart until. Con métodos por estados. Con sentencias for anidada. Con una base de datos relacional.

Dado el autómata de la figura y un alfabeto ∑{0,1} ¿Cuál de las cadenas es aceptada si q1 es el estado inicial y q4 es el estado final? Selecciones 2 respuestas correctas. 0101. 1010. 0001. 1001. 0111.

Seleccione la opción correcta que completa la siguiente frase y la hace verdadera: ”las gramáticas regulares son equivalentes a ". Máquina de Turing. Autómatas Finitos. Automáticos. Autómatas y pila. Autómatas infinitos.

Sea L un lenguaje definido sobre un alfabeto ∑={a,b,c}, tal que las cadenas de L contienen las subcadenas bab. Es decir, cbab y cababca son cadenas de este lenguaje, pero bb y acb no lo son. La expresión regular que describe este lenguaje está definida por. (aUbUc)+bab(aUbUc)+. (aUbUc)*bab(aUbUc)*. (aUbUc)*bab. bab(aUbUc)*. (aUb)*bab(aUb)*.

Dado el automata de la figura y un alfabeto sigma = {0,1}, donde el estado inicial es e0, ye2 y e4 son estados finales. Entonces el lenguaje generado es: (0U1)*(00U11)(0U1)*. (0U1)*(01U11)(0U1)*. (0U1)*(00U01)(0U1)*. (0U1)*(10U11)(0U1)*. (0U1)*(00U10)(0U1)*.

¿Cual de las opciones es la definición correcta de alfabeto?. Conjunto de símbolos finito y no vacio. Conjunto de símbolos infinito y no vacio. Conjunto de símbolos finito y vacio. Conjunto de símbolos infinito y vacio. Conjunto de símbolos no vacio.

Que tienen en común las expresiones regulares y los autómatas?. Ambos representan a los lenguajes regulares. Solo uno representa a los lenguajes regulares. Ambos representan a los lenguajes independientes del contexto. Ambos representan a los lenguajes recursivamente enumerables. ninguno representa a los lenguajes regulares.

Cuales de las siguientes palabras no es generada por la siguiente expresión regular? ( 0U1)10*. 0010. 01. 11. 1100. 010000.

Sea {L(G1)} el Lenguaje generado por gramática de tipo 1 y {L(G2)} el lenguaje generado por gramatica de tipo 2, entonces {L(G1) incluido en L(G2) }. Falso. Verdadero.

Las gramáticas libres de contexto se relacionan con los siguientes tipos de lenguajes de la jerarquía de Chonsky. Tipo 0. Tipo 2. Tipo 3. Tipo 1. Tipo 4.

A las gramáticas del Tipo 3 le corresponde las: Máquinas abstractas mas simples. Máquinas de Turing mas dificiles. Máquinas abstractas mas complejas. Máquinas de Turing mas simples. Máquinas abstractas que resuelven los mas complejos.

Los lenguajes de tipo 3 en la jerarquía de Chomsky se relacionan con los siguientes lenguajes. Lenguajes Regulares. Lenguajes Libres del contexto. Lenguajes Sensibles del contexto. Lenguajes Recursivamente enumerables. Lenguajes no regulares.

Los lenguajes de tipo 0 en la jerarquía de Chonsky se relacionan con los siguientes lenguajes: Lenguajes recursivamente enumerables. Lenguajes regulares. Lenguajes sensibles al contexto. Lenguajes libres de contexto. Lenguajes no regulares.

El Teorema que indica que “Si L es un lenguaje aceptado por un autómata finito M entonces existe una expresión regular tal que L = L(M) = L(y) “ se conoce como. Teorema de Análisis. Teorema de Kleene. Teorema de Síntesis. Teorema de Chomsky. Jerarquia de Chomsky.

A que Teorema corresponde la siguiente preposición: Dado un automata finito es posible encontrar una expresión regular que denote un lenguaje representado por el automata. En sentido inverso al teorema de síntesis se expone el teorema de análisis. En sentido común al teorema de síntesis se expone el teorema de análisis. En sentido inverso al teorema de análisis se expone el teorema de síntesis. En sentido común al teorema de análisis se expone el teorema de síntesis. En sentido inverso al teorema de síntesis se expone el teorema de Kleene.

Hablando de Propiedades de las expresiones regulares, Si tenemos la siguiente expresión A+B ¿A que propiedad representa el signo +?. Unión. De cierre. De fin. Concatenación. Clausura.

El lema de bombeo para lenguajes regulares se usa para. Demostrar que ciertos lenguajes infinitos no son regulares. Demostrar que ciertos lenguajes finitos no son regulares. Demostrar que ciertos lenguajes infinitos son regulares. Demostrar que todos lenguajes finitos son regulares. Demostrar que ciertos lenguajes infinitos son regulares.

Si hablamos de Ambigüedad de las gramaticas, podemos decir que “si una gramática es ambigua, posiblemente exista…”. Una gramática no ambigua que genere el mismo lenguaje. Una gramática paralela . Una lenguaje genérico. Un Automata finito que la resuelva. Una máquina de Turing que la resuelva.

Los tokens se pueden agrupar en dos categorías: cadenas especificas y cadenas no especificas. Indique cual de las siguiente no es considerada una cadena especifica?. Los indicadores o las constantes numéricas o de texto, corresponden a las cadenas no especificas. Los indicadores o las constantes numéricas o de texto, corresponden a las cadenas especificas. Los indicadores o las constantes numéricas o de texto, no corresponden a las cadenas no especificas. Los indicadores o las constantes numéricas o de texto, corresponden a ciertas cadenas. Los indicadores o las constantes numéricas o de texto, corresponden a las cadenas generales.

Un Automata a Pila, debido a sus características cuenta con. 2(dos) alfabetos: uno de del autómata y el otro de la pila. Una pila estatica repetida en cualquier autómata. Una pila vacia obligatoriamente. Un alfabeto nulo requerido. Infinitos alfabetos.

Los Autómatas a Pila son herramientas que se usan para: Reconocer lenguajes generados por gramáticas libres de contexto. Cargar pilas de Litio. Construir autos eléctricos. Automatizar los procesos de carga de baterias AAA. Crear pilas con una vida util de mas de 3 años.

En un Autómata a Pila, cuando la cadena de entrada es aceptada por que ha sido leída por completo y se ha llegado a un estado final, sin importar el estado de la pila, decimos que la aceptación es: Por estado final. Por estado de pila. Por vaciado de pila. Por pila. Por estado inicial.

¿Cuales son los tres elementos que debemos tener en cuenta en un Automata a Pila para definir una transición de un estado a otro? Selecciones 3(tres): Estado actual. Símbolo de entrada. Símbolo que hay arriba de la pila. Símbolo de escritura. Símbolo de aceptación.

Cual de las siguientes afirmaciones acerca de una maquina de Turing es incorrecta?. La cinta es infinita hacia la derecha e izquierda, por lo tanto la afirmación de que solo es infinita hacia derecha es falsa. La cinta es finita hacia la derecha e izquierda, por lo tanto la afirmación de que solo es infinita hacia derecha es falsa. La cinta es infinita hacia solo la derecha, por lo tanto la afirmación de que solo es infinita hacia izquierda es falsa. La cinta es infinita hacia solo la izquierda, por lo tanto la afirmación de que solo es infinita hacia derecha es falsa. La cinta es finita hacia la derecha e izquierda, por lo tanto la afirmación de que solo es finita hacia derecha es falsa.

Si tenemos la secuencia X1 X2 … Xi -1 q Xi Xi+1… Xp, que representa la descripción instantánea de una Maquina de Turing, ¿Qué significa la letra q?. El estado de la maquina es q. El símbolo de la cinta actual. El estado final. La mitad. Un símbolo en la cinta.

Seleccione cuatro de los diferentes modelos de Máquina de Turing que pueden existir(cuatro correctas). Maquina Contadora. Maquina de Turing con cinta semi - infinita. Maquina con varias pila. Maquina multitarea. Maquina Cortadora.

Computa el sucesor del número de entrada. Computa el predecesor del número de entrada. Computa el número de entrada. Cambia 1 por R en la cinta. Cuenta el numero de unos de la entrada.

. Reemplaza las a por 0 y las b por 1. Cuenta el numero de a y b. Acepta cadenas con símbolos de {a, b, 0, 1}. Reemplaza las a por 1 y las b por 0. Deja la cinta en el mismo estado que al principio.

11111. 1111. RRRRS. BBBBB. BBBB.

¿Cuáles de las cuatro opciones enumeran algunas de las características de una Maquina de Turing? Seleccione 4. Posee una cinta infinita. Reconoce lenguajes recursivamente enumerables. Reconoce las gramatica irrestrictas (tipo 0). Puede adaptarse para que simule la lógica de cualquier... Reconocen los lenguajes animales.

Pensando en el funcionamiento de la maquina de Turing, ¿Qué hace dicha maquina cuando lee esta transición: q1(0,X,D) partiendo del estado inicial q0?. Lee un 0, escribe una X, mueve el cabezal a la derecha y pasa al estado q1. Lee un 1, escribe una X, mueve el cabezal a la derecha y pasa al estado q1. Lee un 0, escribe una X, mueve el cabezal a la izquierda y pasa al estado q1. Lee un 0, escribe una X, mueve el cabezal a la derecha y permanece al estado q1. Lee un 0, escribe una Y, mueve el cabezal a la derecha y pasa al estado q1.

¿Cuándo una maquina de Turing M, reconoce un lenguaje L?. Una maquina de Turing M reconoce un lenguaje L, si al analizar una cadena de entradas se para siempre, aceptando la cadena siwL… y rechazándola en caso contrario. Una maquina de Turing M reconoce un lenguaje M, si al analizar una cadena de entradas se para siempre, aceptando la cadena siwL… y rechazándola en caso contrario. Una maquina de Turing M reconoce un lenguaje L, si al sintetizar una cadena de entradas se para siempre, aceptando la cadena siwL… y rechazándola en caso contrario. Una maquina de Turing M reconoce un lenguaje M, si al analizar una cadena de entradas se para siempre, aceptando la cadena siwL… y aceptandola en caso contrario. Una maquina de Turing M reconoce un lenguaje L, si al analizar una cadena de entradas se para siempre, aceptando la cadena siwL… y aceptandola en caso contrario.

Si queremos representar la expresión regular que consta de 0s(ceros) y 1s(unos) alternos, ¿cual es la opción correcta?. (01)*. 10*. 01*. 0*(1). (1)*0.

010121010. 1002100. 001100. 10101010. 0112011.

L = { (0U1)*10}. L = { (0U1)*1}. L = { (0U1)+0}. L = { (0U1)+10}. L = { (0U1)*0}.

1*0+1(0U1)*. 1*0*1(0U1)*. 1*01(0U1)*. 1+0+1(0U1)*. 10*1(0U1)*.

{ x | x ∈ L1 V x ∈ L2}. { x | x ∈ L1 ^ x ∈ L2}. { xy | x ∈ L1 ^ x ∈ L2}. {x | x ∈ L2}. { x | x ∈ L1 } y.

Condicional. Negación. Disyunción. Bicondicional. Conjunción.

Un alfabeto puede contener un número infinito de símbolos. Falso. Verdadero.

Cuando convertimos de expresiones regulares a autómatas, eliminando estados, ¿Cuales son los primeros estados a eliminar?. Los que no son estado inicial y tampoco estados de aceptación. Los que son estado inicial y no son estados de aceptación. Los que no son estado inicial y tampoco estado final. Los que son estado inicial y también son estados de aceptación. Los que no son estado final y tampoco estados de aceptación.

iipippp. iipipip. ippippp. iipipii. ippippi.

¿Qué significa que si dos máquinas secuenciales poseen la misma función de salida?. Son equivalentes. Son iguales. Son opuestos. Son conexos. Son de los mismos estados.

Podemos decir que una expresión regular es: Un patrón. Un estado. Una asignación. Una regla. Una cuestión.

Un autómata finito determinista consta de 5 partes: Conjunto finito de: estados y simbolos de entrada. Además de una función de transición que devuelve solo 1 estado posible, estado inicial y un conjunto de estados finales. Conjunto finito de: estados y símbolos de entrada. Además de una función de transición que devuelve muchos estados posibles, estado inicial y un conjunto de estados finales. Conjunto infinito de: estados y símbolos de salida. Además de una función de transición que devuelve muchos estados posibles, estado inicial y un conjunto de estados finales. Conjunto finito de: estados y símbolos de salida. Además de una función de transición que devuelve solo 1 estado posible, estado inicial y un conjunto de estados finales. Conjunto finito de: estados y símbolos de entrada. Además de una función de transición que devuelve solo 1 estado posible, estado final y un conjunto de estados iniciales.

Por reducción al absurdo. Por demostración. Por el método inductivo. Por intuición. Por deducción.

{(a,2),(a,4),(a,6),(a,8),(b,2),(b,4),(b,6),(b,8),(c,2),(c,4),(c,6),(c,8)}. {(2,a),(4,a),(6,a),(8,a),(2,b),(4,b),(6,b),(8,b),(2,c),(4,c),(6,c),(8,c)}. {(a,2),(a,4),(a,6),(a,8),(2,b),(4,b),(6,b),(8,b),(c,2),(c,4),(c,6),(c,8)}. {(2,a),(a,4),(a,6),(a,8),(2,b),(b,4),(b,6),(b,8),(2,b),(c,4),(c,6),(c,8)}. {(2,a),(4,a),(6,a),(8,a),(2,b),(4,b),(6,b),(8,b),(c,2),(c,4),(c,6),(c,8)}.

{aa.bb,ba,ab}. {bbba.aaba,aaab,bbab}. {baaa.abbb,abaa,babb}. {{aa.bb},{ba,ab}}. ∅.

Algunos lenguajes aceptados por los Autómatas finitos deterministas, también son aceptados por los no deterministas. Verdadero. Falso.

10001000. 10101010. 10101000. 10101001. 1010100.

Con una construcción de subconjuntos podemos demostrar que: La máquina de Moore se puede convertir en la máquina de Mealy. La máquina de Moore no se puede convertir en la máquina de Mealy. La máquina de Mealy se puede convertir en la máquina de Moore. La máquina de Mealy no se puede convertir en la máquina de Moore. La máquina de Moore no puede sintetizarte en la máquina de Mealy.

Concluyo que el lenguaje generado es un lenguaje regular de la forma L = [(0+1)*]. ¿Cuáles de las siguientes consideraciones realizo Mateo para poder llegar a su conclusión? Selecciones las cuatro (4) opciones correctas. La gramática G es una gramática regular, por lo tanto el lenguaje generado es también regular. Si se realizan derivaciones sobre la gramática G se obtienen entre otras las siguientes palabras: 0, 1, 001, 00000111, etc. Las palabras generadas por G constan de cualquier cantidad 1 y 0 en cualquier posición. La gramática G es una gramática lineal por derecha. La gramática G es una gramática lineal por izquierda.

¿Cuál de los siguientes símbolos denota la conectiva lógica bidireccional?. ↔. +. =. →. ←.

¿Cuáles de las siguientes operaciones es una relación entre conjunto y sus elementos?. Inclusión. Condición. Intersección. Concatenación. Estados.

¿Cuáles son las 2 notaciones más cómodas para la descubrir un autómata finito determinista?. Diagrama de transición. Tabla de transición. Tabla de concatenación. Tabla de unión. Diagrama de flujo.

¿Cuáles son los 4 (cuatro) componentes de un diagrama de transición? Seleccione las 4 opciones correctas. Nodo para cada estado Q-. Arco desde un desde un estado a otro. Flecha dirigida al estado inicial, etiquetada como Inicio, sin origen en ningún nodo. Nodos de los estados de aceptación, con doble circulo. Rectángulos-.

¿Cuáles son las tres acciones fundamentales de realizan una maquina secuencial?. Realizar una lectura sobre la entrada, cambiar de estados y grabar un símbolo en la salida. Realizar una lectura sobre la salida, cambiar de estados y grabar un símbolo en la entrada. Realizar una lectura sobre la entrada, eliminar estados y grabar un símbolo en la salida. Realizar una lectura sobre la entrada y cambiar de estados. Realizar una escritura sobre la entrada, cambiar de estados y grabar un símbolo en la salida.

Dada la siguiente gramática G=({S,A}, {0,1}, P, S), donde P contiene las siguiente producciones: S → A1A1A A → 0A | λ. 01100. 11. 10001. 10101. 00100.

Dada una gramática formal G, X es una sentencia si: Si existe una derivación que partiendo del axioma permita llegar a x y todos los símbolos de x son terminales. Si existe una derivación que partiendo del axioma permita llegar a x y todos los símbolos de y son terminales. Si existe una derivación que partiendo del axioma permita llegar a x y todos los símbolos de x son no terminales. Si existe una derivación que partiendo del axioma permita llegar a x y todos los símbolos de y son no terminales. Si existe una derivación que partiendo del axioma permita llegar a x pero no a y todos los símbolos de x e y son terminales.

Dado el autómata de la figura y un alfabeto ∑ = {0,1}, ¿cuál de las cadenas es aceptada si p es el estado inicial y q es el estado final?. "(0U1)*1.(0U1)+1". "(0U1)+1.(0U1)+1". "(0U1)*1.(0U1)*1". "(0U1)1.(0U1)+1". "(0U1)*1.(0U1)1".

Dado el autómata de la figura y un alfabeto ∑ = {a,b,c}, ¿cuál de las cadenas es aceptada si e0 es el estado inicial y e2 es el estado final?. acbb. aabb. aaca. acaa. acab.

Dado el autómata de la figura y un alfabeto ∑ ={a,b,c}, donde el estado inicial es e0 y e2 es el estado final, entonces el lenguaje generado es: a+cb+. a*cb*. a+bb*. a+cc*. a+cb*.

De acuerdo a la jerarquía de gramática Chomskyanas, ¿Qué es posible afirmar?. Toda gramática independiente del contexto es también una gramática sin restricciones. Toda gramática regular es también una gramática sin restricciones. Toda gramática sensible al contexto es también una gramática sin restricciones. Toda gramática es también una gramática sin restricciones. Toda gramática independiente del contexto es también una gramática con restricciones.

El cierre transitivo T’ de la relación T se calcula: Aplicando la propiedad transitiva sobre la relación T. Aplicando la propiedad transitiva sobre la relación M. Aplicando la propiedad transitiva sobre la relación L. No aplicando la propiedad transitiva sobre la relación T. En la relación T.

El teorema que indica que "Si L es un lenguaje generado a partir de la expresión regular entonces existe un autómata finito M tal que L = L(γ) = L(M)" se conoce como: Teorema de Síntesis. Teorema de Analisis. Teorema de Fermat. Teorema de Chomky. Jerarquia de Chomsky.

Si tenemos la siguiente Regla de las expresiones regulares: (α.β).y = α.(β.Y), podemos decir que: La concatenación de las expresiones regulares es asociativa. Ya que el orden en el que ejecutemos la concatenación no genera diferencia en el resultado. La resta de las expresiones regulares es asociativa. Ya que el orden en el que ejecutemos la resta no genera diferencia en el resultado. La unión de las expresiones regulares es asociativa. Ya que el orden en el que ejecutemos la unión no genera diferencia en el resultado. La concatenación de las expresiones regulares es distributiva. Ya que el orden en el que ejecutemos la concatenación no genera diferencia en el resultado. La resta de las expresiones regulares es distributiva. Ya que el orden en el que ejecutemos la resta no genera diferencia en el resultado.

Suponiendo el autómata identificado por su diagrama de estados en la siguiente imagen, determine las cadenas aceptadas por el mismo. Cadenas que contienen al menos dos ceros consecutivos. Cadenas que contienen al menos dos unos consecutivos. Cadena que contiene solo un cero. Cadenas que contienen al menos dos ceros y dos unos consecutivos. Cadena que contiene solo un uno.

Suponiendo el autómata identificado por su diagrama de estados en la siguiente imagen, determine las cadenas aceptadas por el mismo. El autómata acepta el conjunto de cadenas de bits con al menos dos ceros consecutivos o no. El autómata acepta el conjunto de cadenas de bits con al menos dos unos consecutivos o no. El autómata acepta el conjunto de cadenas de bits con solo un cero y un uno consecutivo. El autómata acepta el conjunto de cadenas de bits con al menos dos ceros y dos unos consecutivos o no. El autómata acepta el conjunto de cadenas de bits con al menos dos ceros consecutivos si o si.

Suponiendo que es necesario diseñar un autómata finito que reconozca el conjunto de cadenas de bits que inician con dos 0’s consecutivos, ¿cuál es el número mínimo de … deberá tener dicho autómata?. Cuatro estados con solo uno como estado de salida. Tres estados con solo uno como estado de salida. Dos estados con solo uno como estado de salida. Un estado como estado de salida. Cinco estados con solo uno como estado de salida.

Un autómata finito determinista se define formalmente mediante la quíntupla AFD = ( ∑, Q, q0, F, f ) donde ∑ representa: El alfabeto de los símbolos de entrada. Conjunto finito de estados. El estado inicial. Conjunto de estados finales. Las funciones de transición.

Un autómata finito determinista se dice conexo si: Para todo estado p que pertenece a Q, p es accesible desde el estado inicial (q0). Para todo estado p que pertenece a Q, p es accesible desde el estado final (q4). Para todo estado p que pertenece a Q, p es accesible desde el estado final (q5). Para todo estado p que pertenece a Q, p no es accesible desde el estado inicial (q0). Para todo estado p que no pertenece a Q, p es accesible desde el estado inicial (q0).

Una máquina de Mealy es una máquina secuencial en la que la salida se produce: Durante la transición. Durante la transformación. Durante la concatenación. Durante la asociación. Durante la iniciación.

Una tabla de transiciones que representa la función de transición de un autómata tiene tantas filas como: Estados. Columnas. Uniones. Operaciones. Asignaciones.

Una máquina de Moore es una máquina secuencial en la que la salida se produce: En cada estado. En cada salida. En cada estado final. En cada estado inicial. En cada entrada.

Suponiendo una máquina secuencial que calcula el residuo modulo 4 de un numero representado en no.. e 1`s, ejemplo 2=11, 3=111, 4=1111, etc) ¿Cuántos estados se necesitan para resolver el problema co.. Cuatro estados. Un estado. Dos estados. Tres estados. Cinco estados.

Suponiendo la gramática G = ({0,1},{A,B,S}, S, P), donde P = { (S:=A0), (A0: = 1B1), (1A: = 0B0), (B: = 1), (B: =0) }. Es posible decir que G es: Una gramática sin restricciones (tipo 0). Una gramática sensible al contexto (tipo 1). Una gramática libre de contexto (tipo 2). Una gramática regular (tipo 3). No es una gramática.

Si tenemos el lenguaje A y el lenguaje B, ¿Qué se genera de la intersección de ambos?. Un lenguaje formado por todas las cadenas que se encuentran tanto en A como en B. Un lenguaje formado por todas las cadenas que se encuentran en A pero no en B. Un lenguaje formado por todas las cadenas que se encuentran en B pero no en A. Un lenguaje formado por solo algunas de las cadenas que se encuentran en A y a la vez en B. Un lenguaje formado por la cadena vacía.

P1 = { (S::=0B|0A1), (A::=0B|0), (B::=1) }, ¿cómo se clasificaría esta gramática de acuerdo a la jerarquía chomskyana?. Es una gramática independiente del contexto. (Tipo 2). Es una gramática sensible al contexto. (Tipo 1). Es una gramática recursivamente enumerable (Tipo 0). Es una gramática regular(Tipo 3). No es una gramática.

Si se dispone de los alfabetos ∑1={a,b,c} y ∑2={c,d,e} y los lenguajes L1 sobre ∑1 y L2 sobre ∑2, ¿cuáles de las siguientes afirmaciones pueden considerarse correctas? Seleccione las cuatro (4) opciones correctas: L1 es un subconjunto del universo de ∑1. L2 es un subconjunto del universo de ∑2. L1 Unión L2 está incluido en (universo de (∑1) Unión Universo de ∑2). L1 intersección L2 está incluido en (universo de (∑1) intersección Universo de ∑2). L1 es un subconjunto del universo de ∑3.

Si pasamos de un estado inicial, en un autómata a pila, directamente al estado de aceptación con la lectura de la cadena vacía λ. Podemos decir que este autómata a pila. Reconoce la cadena vacía. Ya que ƛ funciona como un carácter cuando hablamos de autómatas. No reconoce la cadena vacía. Ya que ƛ funciona como un carácter cuando hablamos de autómatas. No Reconoce la cadena vacía. Ya que ƛ no funciona como un carácter cuando hablamos de autómatas. Reconoce la cadena vacía. Ya que ƛ funciona como un cadena de caracteres cuando hablamos de grafos. Reconoce la cadena vacía. Ya que ƛ funciona como una cadena de caracteres cuando hablamos de lenguajes formales.

Si necesitamos buscar todos los documentos de la web que contengan un conjunto de palabras ¿con que tipo de autómata lo diseñaríamos antes de programarlo?. Autómata finito no determinista. Autómata finito determinista. Autómata con pila. Maquina de Turing. Autómata linealmente acotado.