1.

Explicar las expresiones regulares si A = {a,b,c} ( (

Representa el lenguaje de las cadenas que pueden o no empezar por la expresin ( que significa 1 o ms elementos de a combinado con uno y solo un elemento de b, siendo este ltimo obligatorio en cada iteracin; y terminar obligatoriamente con la expresin regular ( que funciona exactamente igual a la anterior. ( Representa (ninguna-una o mas) cadenas compuestas por ninguno, uno o mas elementos de a y uno y solo uno de b en cada iteracin. ( Representa el conjunto de las cadenas compuestas por mnimo uno o mas elementos de a, seguidos de una cadena vaca obligatoria, y finalizando opcionalmente con una o mas combinaciones de ( Representa el conjunto de las cadenas que empiezan por b y terminan opcionalmente en una o ms combinaciones

Representa el conjunto de la o las cadena(s) lambda

( Representa el conjunto de las cadenas que inician por minimo uno o mas combinaciones de (que a su vez expresan la presencia de ninguno, uno o ms elementos de a) seguidas

Representa el lenguaje de las cadenas que comienzan ineludiblemente por una o n repeticiones de (que significa 1 obligatorio y cero, una o n repeticiones de 0) y terminan en .

Representa el conjunto de cadenas que comienzan en mnimo 1 o n repeticiones de (0 obligatorio y cero, una o n repeticiones de 1) y terminan en 0.

( Esta no la entiendo

( Representa el conjunto de las cadenas que inician por una o mas repeticiones de (que a su vez significan una o mas repeticiones de 1 seguidas por 10) y terminan en 0

Representa el conjunto de cadenas que inician por cero, una o mas repeticiones de 1, seguidas por cero, una o mas repeticiones de 0 y terminadas en la expresin 10.

Representa el conjunto de expresiones que inician con una o ms repeticiones de 0 y terminan con una o ms repeticiones de 1 ( ( Representa el conjunto de las cadenas que inician con cero, una o mas repeticiones de la expresin 0+1 (una o mas repeticiones de 0 seguidas por un 1 obligatorio) seguidas por la expresin obligatoria 11, y finalizadas con n repeticiones opcionales de ( (una o ms repeticiones de 1 seguida por 0 obligatorio)

2. Represente el grafo A = ({q 0 , q1 , q 2 , q 3 } , {0,1} , f , q 0 , { q 2 })

Plsmelo en el simulador

Realice la tabla de transicin correspondiente. 0 1

Entradas Estados q0 q1 q2 q3 (

{q0,q1} q3 q3 q3

q0 q2 q3

Compruebe el lenguaje aceptado (

Identifique la expresin regular que permite identificar que cadenas son vlidas y que acepta el autmata.

(0+1)*01 Identifique que denotacin de estados est errada y corrjala.

Los estados deben representarse con la notacin del problema.

3. Acorde al autmata del ejercicio N 2, Realice: Identifique si es un AFD AFND y justifique por qu.

La mquina anterior hace referencia a un autmata de estado finito no determinista, ya que, existe eleccin en las transiciones de ciertos estados a otros. El estado cuenta con dos caminos para al entrado 0. Si dado el caso es un AFND convirtalo en el simulador a un AFD y plsmelo en el trabajo sus cadenas vlidas. Analice si son las mismas cadenas que acepta al autmata antes de convertirlo. El nuevo AFND debe plasmarlo en el simulador. Compruebe el lenguaje aceptado Identifique la expresin regular que permite identificar que cadenas son vlidas y que acepta el autmata. Analice si la ER y el Lenguaje aceptado es el mismo o no al ejercicio Nmero 2. Justifique sus respuestas.

Son autmatas equivalentes, por ende, tienen el mismo patrn de aceptacin y reciben las mismas palabras. Cualquier AFD tambin es un AFND, es decir, si es un lenguaje aceptado por un AFD, tambin est aceptado por un AFND. pues funcin es en particular una relacin . La equivalencia entre AFD y AFN es clara entendiendo todo AFD como un caso particular de un AFN.

4. Para el siguiente Autmata que acepta el lenguaje

Realice las siguientes actividades: Determine si es un AFD AFND Encuentre la ER Grfico en un diagrama de Moore Realice la tabla de transicin De cinco (05) ejemplos de cadenas vlidas que acepte el autmata Recrelo en el simulador

El autmata es un AFND puesto que, por regla general, si un autmata acepta la cadena vaca y su estado inicial no es a su vez un estado de aceptacin, no puede considerarse determinante finito. La expresin regular del autmata, despus de convertirlo en finito es: ( La tabla de transicin est dada por:

( ( ( ( ( Ejemplos de cadenas aceptadas:

La tabla de transicin: Entradas x y z Estados q0 q2 q1 q3 q2 q3 q3 q3 5. Construya un autmata que reconozca cadenas enmarcadas dentro de la expresin regular: (1 + 0)* Tenga en cuenta que debe incluir cadenas vacas del tipo Identifique los elementos de la tupla a que corresponda ese autmata y descrbalos. Conjunto finito de estados del autmata Entradas o valores aceptados por el autmata (alfabeto de la maquina) incluida la cadena lambda (vacia) Funcion de relacion de transicin

( (

( (

Estado inicial Estado final Realice el diagrama de Moore en el simulador y plsmelo en el trabajo.

Construya Tabla de Transicin. Entradas Estados q0 q1 0 q0 q0 1 q1 q0/q1

En el simulador demuestre una cadena vlida haciendo el recorrido por cada paso de estado.

111010= 1: Pasamos a estado q1 1: Ciclo en estado q1 1: Ciclo en estado q1 0: Pasamos a estado q0 1: Ciclo en estado q1 0: Pasamos a estado q0 Identifique el lenguaje que reconoce. (

6. Construya un Autmata que acepte el siguiente Lenguaje: L = 00*11* Identifique sus componentes (la tupla que es) Conjunto finito de estados del autmata Entradas o valores aceptados por el autmata (alfabeto de la maquina) incluida la cadena lambda (vaca) Funcin de relacin de transicin

( ( ( ( Estado inicial Estado final Constryalo en los simuladores.

Demustrelo con al menos cinco cadenas vlidas. Demuestre tres cadenas no vlidas y justifquelas por qu no son vlidas comparadas con la expresin regular. Expresion regular: L = 00*11* Cadenas validas:

Cadenas no validas:

Segn la expresin regular en la cadena debe existir mnimo un elemento 1.

La misma razn de la anterior, la cadena debe contener minimo un 0

La cadena debe empezar con: uno o ms elementos 0 y terminar con uno o mas de 1, aclarando de antemano que no es valido intercalarlos, es decir, la primera parte de la cadena solo debe contener 0 y la segunda 1 (uno o ms). Identifique y justifique si su diseo de Autmata es AFD AFND El autmata es finito determinista porque para cada estado que se encuentra en este, existe a lo mas una transicin posible hacia otro estado por elemento. Cree las tablas de transicin Entradas 0 1 Estados q0 q1 q1 q1 q2 q2 q2

8. Construya un Autmata Finito Determinstico (AFD) de tres (3) estados que acepta dentro de su lenguaje la palabra unad Identifique sus componentes (la tupla que es) Conjunto finito de estados del autmata Entradas o valores aceptados por el autmata (alfabeto de la maquina) incluida la cadena lambda (vaca) Funcin de relacin de transicin

( ( ( ( Estado inicial Estado final Constryalo en los simuladores.

Cree las tablas de transicin Entradas u n a d Estados q0 q1 q1 q2 q1 q2 q2

Escriba la expresin regular que represente