autómatas que estén en estado de aceptación cuando el largo de la cadena sea multiplo de 3

-

Comentarios

Publicar un comentario

Entradas más populares de este blog

UNIDAD 6

-
Imagen
6. Máquinas de Turing. Una  máquina de Turing  es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo a una tabla de reglas. A pesar de su simplicidad, una máquina de Turing puede ser adaptada para simular la lógica de cualquier  algoritmo  de  computador  y es particularmente útil en la explicación de las funciones de una  CPU  dentro de un computador. 6.1 Definición formal MT La Máquina de Turing (MT) fue introducida por Alan M. Turing en 1936, y puede considerarse como un modelo abstracto que formaliza la idea Intuitiva de algoritmo.    (MT) Es un modelo computacional que realiza una lectura/escritura de manera automática sobre una entrada llamada cinta, generando una salida en esta misma. Este modelo está conformado por un alfabeto de entrada y uno de salida, un símbolo especial llamado blanco (normalmente b, Δ o 0), un conjunto de estados finitos y un conjunto de transicio...
Leer más

UNIDAD 5

-
Imagen
5. Gramáticas 5.1 Definición y clasificación de gramáticas. En el campo de la  informática , el  concepto  de  Gramática  Formal adquirió gran importancia para el  desarrollo  de lenguajes de  programación , consiguientemente el desarrollo de autómatas y máquinas de Turing cobró vida en las últimas décadas, fortaleciendo el vínculo entre  Electrónica  e Informática, creando  máquinas  cada vez más sofisticadas y menos complicadas para el usuario final. CONCEPTOS Y DEFINICIONES Conceptos que nos permitirán conceptualizar la gramática SÍMBOLO Es una entidad abstracta, que no se va a definir. Normalmente los  símbolos  son letras (a,b,c,…z), dígitos (0,1,2…9) y otros caracteres (+,*,/,-,?...). Un símbolo también puede estar formado por varias letras o caracteres, como las palabras reservadas de un  lenguaje  de programación son símbolos de dicho lenguaje. Ejemplo: -   a,b,...
Leer más

UNIDAD 3

-
3. Automatas Finitos Un autómata finito (AF) o máquina de estado finito es un modelo computacional que realiza cómputos en forma automática sobre una entrada para producir una salida. Este modelo está conformado por un alfabeto, un conjunto de estados finito, una función de transición, un estado inicial y un conjunto de estados finales. Su funcionamiento se basa en una función de transición, que recibe a partir de un  estado inicial  una cadena de caracteres pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena a medida que el autómata se desplaza de un estado a otro, para finalmente detenerse en un  estado final  o  de aceptación , que representa la salida. La finalidad de los autómatas finitos es la de reconocer lenguajes regulares, que corresponden a los lenguajes formales más simples según la Jerarquía de Chomsky....
Leer más