Finite Automata se conoce como una máquina de estados finitos que son aceptables, de lo contrario no son aceptables. en el alfabeto de entrada ‘0’ y 1′. Determinar el estado inicial. La transición ocurre en cada alfabeto de entrada. Determine si el bucle automático debe aplicarse o no. El estado final de Mark. Diseño de … Continue reading «DFA que reconoce que el número 0 es múltiplo de 3 en la entrada {0,1}»
Prerrequisito: Autómatas finitos , Expresiones regulares, gramática y lenguaje , Diseño de autómatas finitos a partir de expresiones regulares (Conjunto 6) En el siguiente artículo, veremos algunos diseños de autómatas finitos a partir de la expresión regular dada: Expresión regular 1: Lenguaje regular, L1 = b*aa(a+b)*+b*ab*aa(a+b*) El lenguaje del RE dado es- {aaa, baa, baa, … Continue reading «Diseño de autómatas finitos a partir de expresiones regulares (Conjunto 7) – Part 1»
Gramática sensible al contexto: una gramática sensible al contexto es una gramática sin restricciones en la que todas las producciones son de forma, donde α y β son strings de no terminales y terminales. Las gramáticas sensibles al contexto son más poderosas que las gramáticas libres de contexto porque hay algunos lenguajes que pueden ser … Continue reading «Gramática sensible al contexto (CSG) y lenguaje (CSL) – Part 1»
Prerrequisito – Máquina de Turing En un idioma dado, L = {a i b j c k | i*j = k; i, j, k ≥ 1}, donde cada string de ‘a’, ‘b’ y ‘c’ tiene un cierto número de a, luego un cierto número de b y luego un cierto número de c. La condición … Continue reading «Construya una máquina de Turing para L = {aibjck | i*j = k; yo, j, k ≥ 1}»
Requisito previo: jerarquía de Chomsky , lenguajes regulares Como todos sabemos, los lenguajes aceptados por autómatas finitos se denominan lenguajes regulares y los que son aceptados por autómatas pushdown se denominan lenguajes libres de contexto. Pero, cuando se trata de la unión o intersección de estos dos lenguajes, a algunas personas les resulta difícil de … Continue reading «Unión e Intersección de Lenguas Regulares con CFL – Part 1»
Lex es un programa de computadora que genera analizadores léxicos, que se usa comúnmente con el generador de analizadores sintácticos YACC. Lex, originalmente escrito por Mike Lesk y Eric Schmidt y descrito en 1975, es el generador de analizador léxico estándar en muchos sistemas Unix, y se especifica una herramienta equivalente como parte del estándar … Continue reading «DFA en código LEX que acepta un número par de ceros y un número par de unos»
Prerrequisito – Máquina de Turing El lenguaje L = {a i b j c k | yo < j < k o yo > j > k} ∩ {a yo segundo j c k | i > j > k o i > j > k} es lo mismo que los idiomas L={a i b … Continue reading «Construya una máquina de Turing para un lenguaje L = {aibjck | i<j<k o i>j>k} ∩ {aibjck | i>j>k o i>j>k}»
El método de Gauss Seidel es un proceso iterativo para resolver un sistema cuadrado de (múltiples) ecuaciones lineales. También se le conoce de forma destacada como método de ‘Liebmann’ . En cualquier método iterativo de análisis numérico, cada intento de solución se inicia con una solución aproximada de una ecuación y se realiza una iteración … Continue reading «Programa para el Método de Gauss Seidel (Matemática Computacional)»
Prerrequisito: autómatas finitos Problema de introducción : construir autómatas finitos deterministas (DFA) para strings que no contengan dos a consecutivas y que comiencen con a. Explicación: acepte strings que no contengan dos a consecutivas. Compruebe si una string determinada contiene dos a consecutivas o no. Cualquier ocurrencia de (bz) no debería afectar el escenario. Las … Continue reading «DFA para strings que no contienen dos a consecutivas y que comienzan con ‘a’»
Requisito previo: autómatas pushdown , aceptación de autómatas pushdown por estado final Problema – Diseñar un PDA no determinista para aceptar el lenguaje L = { | m ≥ 1}, o,L = { | m ≥ 1}, es decir, L = {abbb, aabbbbb, aaabbbbbbb, aaaabbbbbbbbb, ……} En cada una de las strings, el número de … Continue reading «NPDA por aceptar el lenguaje L = {amb(2m+1) | metro ≥ 1}»