Construir DFA que interpretado como un número binario es divisible por 2, 3, 4

Requisito previo: Introducción a los autómatas finitos , Diseño del problema de autómatas finitos 1: Construir DFA, que acepta un conjunto de todas las strings sobre {0, 1} que se interpreta como un número binario divisible por 2. Explicación: Considere las siguientes entradas, {0, 01, 10, 11, 100, 101, 110……..} El diagrama de transición de … Continue reading «Construir DFA que interpretado como un número binario es divisible por 2, 3, 4»

Teorema de Parikh

Introducción: el teorema de Parikh en informática teórica dice que si uno mira solo el número de ocurrencias de cada símbolo terminal en un lenguaje libre de contexto, sin tener en cuenta su orden, entonces el lenguaje es indistinguible de un lenguaje regular. Es útil para decidir que las strings con un número dado de … Continue reading «Teorema de Parikh»

DFA de Lenguaje Regular L ={w ∈ {a,b}* : Na(w) mod 3 > Nb(w) mod 3}

En este artículo diseñaremos los Autómatas Finitos Deterministas del Lenguaje Regular L ={w ∈ {a, b}* : Na(w) mod 3 > Nb(w) mod 3}. La expresión regular puede ser cualquier cosa, desde un símbolo terminal, ∅, hasta la unión de dos expresiones regulares (R1 + R2), su intersección (R1 + R2) o el cierre de … Continue reading «DFA de Lenguaje Regular L ={w ∈ {a,b}* : Na(w) mod 3 > Nb(w) mod 3}»

Diseño de autómatas finitos a partir de expresiones regulares (Conjunto 3) – Part 1

Prerrequisito: Autómatas finitos , Expresiones regulares, gramática y lenguaje , Diseño de autómatas finitos a partir de expresiones regulares (Conjunto 2) 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: ‘ab*’ (‘a’ seguido de cualquier número de ‘b’). El lenguaje del RE dado es, … Continue reading «Diseño de autómatas finitos a partir de expresiones regulares (Conjunto 3) – Part 1»

Simulador de máquina de Turing no determinista multicinta

Este artículo aborda cuestiones tanto teóricas como prácticas en Ciencias de la Computación (CS). Revisa Turing Machines (TMs), una clase fundamental de autómatas y presenta un simulador para una amplia variante de TMs: no determinista con múltiples cintas. El no determinismo se simula mediante una búsqueda en amplitud (BFS) del árbol de cálculo. El simulador … Continue reading «Simulador de máquina de Turing no determinista multicinta»

Construir autómatas pushdown para palíndromos de todas las longitudes

Un autómata pushdown (PDA) es como un autómata finito no determinista (NFA) épsilon con una pila infinita. PDA es una forma de implementar lenguajes libres de contexto. Por lo tanto, es importante aprender a dibujar PDA. Aquí, tomemos el ejemplo de un palíndromo de longitud impar: Que-1: Construya un PDA para el lenguaje L = … Continue reading «Construir autómatas pushdown para palíndromos de todas las longitudes»

Problemas decidibles e indecidibles en Teoría de la Computación

Prerrequisito – Máquina de Turing Se dice que un problema es decidible si siempre podemos construir un algoritmo correspondiente que pueda responder el problema correctamente. Podemos entender intuitivamente los problemas decidibles considerando un ejemplo simple. Supongamos que se nos pide que calculemos todos los números primos en el rango de 1000 a 2000. Para encontrar … Continue reading «Problemas decidibles e indecidibles en Teoría de la Computación»

Máquina de Turing para complemento a 1 y complemento a 2

Requisito previo: máquina de Turing , complemento de 1 y 2 de un número binario   Problema-1: Dibuja una máquina de Turing para encontrar el complemento a 1 de un número binario.  El complemento a 1 de un número binario es otro número binario obtenido alternando todos los bits en él, es decir, transformando el bit … Continue reading «Máquina de Turing para complemento a 1 y complemento a 2»

Conversión de máquina Moore a Mealy (Set 10)

Requisito previo: máquinas Mealy y Moore , diferencia entre la máquina Mealy y la máquina Moore  En este artículo, veremos una conversión de Moore a máquina Mealy.  Diagrama de transición de estado de una máquina de Moore: –   Arriba, la máquina de Moore toma el número binario {0, 1} como entrada y produce el módulo … Continue reading «Conversión de máquina Moore a Mealy (Set 10)»

Máquina de Turing de oráculo

Máquina de Turing : Alan Mathison Turing propuso la máquina de Turing en 1936, un modelo informático capaz de simular todos los comportamientos computacionales. Una máquina de Turing es una máquina ficticia. La máquina de Turing fue fundamental en el desarrollo de la computadora moderna. Una máquina de Turing es una máquina ficticia. A pesar … Continue reading «Máquina de Turing de oráculo»