ẟ {q0, a} = q2 ẟ {q1, c} = q3 ẟ {q2, b} = q2 ẟ {q2, c} = q3 ẟ {q3, b} = q4 ẟ {q3, c} = q1 - Plasme la tabla de transición: a b c → Q0 q2 ----- ----- Q1 ----- ----- q3 Q2 ----- q2 q3 Q3 ----- q4 q1 # Q4 ----- ----- ----- Caracterizació Tupla: Una tupla es una lista (secuencia) ordenada n del finita de elementos. Para el caso de los autómatas, autómata estos se definen por una quíntupla, dado que parte teórica contiene 5 elementos, N = (K, Σ, δ, s, F), donde: K= es un conjunto finito de estados Σ es un alfabeto finito de símbolos de entrada S es el estado inicial en K F es el conjunto de estados finales o de aceptación y subconjunto de K δ es la relación de transiciones, que a partir de un estado y un símbolo del alfabeto obtiene un nuevo estado.
Estado Inicial: Es por donde comenzará la ejecución
el autómata. Para el caso de nuestro autómata es q0.
Estado Final: Es el estado donde el autómata queda
posicionado una vez haya terminado de procesar todos los símbolos de entrada y no reste ningún símbolo por leer. Para el caso de nuestro autómata es q4.
Alfabeto: Es un conjunto finito de símbolos, cuyos
elementos se denominan símbolos o letras. En nuestro caso, el alfabeto del autómata es Σ= {a, b, c}.
Palabra o Cadena: Es una secuencia finita de
símbolos que pertenecen a un alfabeto. En este caso en particular, validaremos 5 cadenas aceptadas y 5 cadenas rechazadas por el autómata.
Lenguaje Regular: Son aquellos lenguajes cuyas
palabra o cadenas contienen repeticiones de los mismos componentes. Para nuestro autómata el lenguaje regular es {ab}*. (c.{cc}*). {b}.
Expresión Regular: Las expresiones regulares
describen conjuntos de cadenas del alfabeto. Para nuestro autómata la expresión regular es (ab*c(cc)*b)
Lenguaje {ab}*.(c.{cc}*).{b} Regular Validación de cadenas
Validación de cadenas aceptadas
acb abcb abcccb acccb abbcb
Validación cadenas no aceptadas
ab abccb bcb abc abcbcc Practicar y Se muestra a continuación como la cadena válida verificar lo abcccb recorre el autómata. aprendido Paso 1. El autómata se encuentra en el estado inicial q0. Paso 2. Transición a, el autómata pasa al estado q2.
Paso 3. Transición b, el autómata hace un ciclo
repetitivo en q2. Paso 4. Transición c, el autómata pasa del estado q2 al estado q3.
Paso 5. Transición c, el autómata pasa del estado q3
al estado q1.
Paso 6. Transición c, el autómata pasa del estado q1
al estado q3. Paso 7. Transición b, el autómata pasa del estado q3 al estado final q4, finalizando así, de manera exitosa, el recorrido de la cadena a través del autómata.
REFERENCIAS Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000).
Teoría de lenguajes, gramáticas y autómatas para informáticos.
Digitalia. (pp. 127 - 142). Recuperado
de https://bibliotecavirtual.unad.edu.co/login?url=https://search-
