ACTIVIDAD A DESARROLLAR

1.- De la siguiente definicin formal de un Autmata:

A = ({q0, q1, q2, q3, q4}, {a, b, c}, f, q0, {q2})

f(q0, a) = q1 f(q0, b) = q4 f(q0, c) = q4 f(q1, a) = q4 f(q1, b) = q1 f(q1, c) = q2 f(q2, a) = q4 f(q2, b) = q4 f(q2, c) = q2 f(q3, a) = q4 f(q3, b) = q3 f(q3, c) = q2 f(q4, a) = q4 f(q4, b) = q4 f(q4, c) = q4

Realice las siguientes actividades:

a. Presente una imagen del Diagrama de Moore del Autmata definido b. Construya la respectiva tabla de transicin c. Generalice mediante una expresin regular y explique el lenguaje que acepta el Autmata.

SOLUCION

TABLA DE TRANSICION

DIAGRAMA DE TRANSICION

El lenguaje es: ab*,c*

2.- Con base en el siguiente Diagrama de Moore:

Realice las siguientes Actividades:

a. Generalice mediante una expresin regular y explique el lenguaje que acepta el Autmata b. Construya la respectiva tabla de transicin c. Defina el Autmata como un conjunto de cinco elementos

SOLUCION

Este autmata se define como la quntupla:

M = (Q,V,J,q0,f) Q = Conjunto de estados= {q1,q2,q3} V = Altada de entrada = {1,2,3} = funcin de transicin = Q V : ,q1, q2, q3- * ,1,2,3{q1, q2, q3}

F Q = Conjunto estados finales = ,q3q0 = estado inicial = {q1}

REMPLAZAMOS

M = (,q1, q2, q3-,1,2,3- ,q1}, {q2})

El lenguaje que reconoce el AFD es: { 1,2,3}

4.- Decir cules de las siguientes palabras son reconocidas por el siguiente Autmata Finito Determinista:

Palabras: 110, 01, 100

AFND = ({0, 1}, {q0, q1, q2}, f, q0, {q1})

f(q0, 0) = f(q0, 1) = ,q1, q2- f(q0, ) = f(q1, 0) = ,q0- f(q1, 1) = ,q0, q1- f(q1, ) = ,q0f(q2, 0) = ,q2- f(q2, 1) = f(q2, ) = ,q1-

SOLUCION

TABLA Y DIAGRAMA DE TRANSICION

[pic] [pic] La palabra reconocida es 11 0

5.- Determinar la pertenencia de las cadenas: aab, aba y ba, al lenguaje reconocido por el siguiente AFND:

A = ({a,b}, {q1,q2,q3,q4}, f, q1, {q1}, {(q2,q4), (q3,q4), (q4,q3)})

f(q1,a) = {q2} f(q1,b) = f(q2,a) = {q1,q3,q4} f(q2,b) = {q1,q3} f(q3,a) = f(q3,b) = {q1,q4} f(q4,a) = f(q4,b) = {q3}

SOLUCION

[pic]

Aab, aba, ab. Aab es cadena reconocida por el AFDN

6.- Obtener para cada uno de los siguientes autmatas finitos su autmata mnimo Equivalente:

SOLUCION (AUTOMATA 1)

Observando el autmata 1 nos podemos dar cuenta que existen claramente estados inaccesibles como P5 y P8 que no llega ningn dato de entrada entonces eliminamos estos estados ya que para un AFD como regla debe llegar al menos una entrada y salir una o varias entradas, entonces el AFD minimizado queda as:

G1 = P1, P2, P3, P4 G1 = P1, P2, P3, P4

Observamos que:

P5 es entrada de P6, P7 P8 es entrada de P6, P7

Entonces P6, P7 al eliminar estos estados quedan inaccesibles y el autmata resultante nos quedara:

Eliminamos el estado P2 ya que no proporciona ningn cambio de estado

AUTOMATA 2

Observando el autmata, veamos los estados q4, q5 al eliminar el estado q5

 G1 = q1, q2, q3, q6, q8 G2 = q4, q5, q7

q2 y q7 son estados que no generan salida en AFD se debe tener mnimo una salida y una entrada. Entonces nuestro autmata mnimo equivalente es:

----------------------q0

q1

q3

q4

q2

a,b

b,c

q1

q3

q6

q8

1 TRABAJO COLABORATIVO 1

|ORGANIZACIN DEL TEMA | |NOMBRE | | | | | |1 |Cedula de Ciudadana

|2

| | |PARTICIPANTES | | | | |G1 | | | | | |G2 | |6 |P1 | | |P2 |P3 |P5 |P6 |P7 |P4* |P8* | | |G1 |G1 |G1 |G1 |G1 |G1 |G1 |7 |G1 | | |8 |G2 | | |G1 |G2 |G1 |G1 |G1 |G1 |G1 | | | | | | | | |

|3

|4

| |

Luego la tabla resultante de agrupar comunes sera:

| |G1 | |G2

| |P1 |P2 |P4

|0 |G1 |G1 |G1

|1

| |G2 | | |

|G1 |G1

El autmata mnimo equivalente resultante es:

[pic] Autmata A2

Primero revisamos si posee estados inaccesibles, y para este caso posee q4 y q5 ya que son estados a los cuales no llega ninguno. Luego realizamos tabla para separa los indistinguibles agrupando estados iniciales en G1 y estados finales en G2 as: G1 = {q1, q2, q3, q6, q7} G2= {q8}

| | | |G1 | | | | |G2

| |Q1 | | |Q2 |Q3 |Q6 |Q7 |Q8*

|0 |G1 | | |G1 |G1 |G1 |G1 |

|1

| |

|G1 | | | |G1 |G1 |G1 |G2 |G1

| | | | |

|G1

Luego la tabla resultante de agrupar comunes sera:

| |G1 | |G2

| |Q1 |Q7 |Q8*

|0 |G1 |G1

|1

| |G1 | | |

|G2 |G1

|G1

El autmata mnimo equivalente resultante es:

[pic]

7. Dada la gramtica lineal derecha: G = (T, N, S, P) T = {0, 1}.

N = {S, A} P = {S: = 1A | 1S, A: = 0A | 1A | 1}

Encontrar el autmata finito determinista (AFD) mnimo asociado.

P = {S = 1A | 1S, A = 0A | 1A | 1} P = {S = 1A | 1C, A = 0A | 1A | 1B}

A partir de G construimos el AF correspondiente AF= ({0, 1}, { A, B, C}, S, {F}, f)

f(S,1) = A f(S,1) = C f(A,0) = A f(A,1) = A f(A,1) = B

Se trata de un AFND, cuya tabla de transicin es:

|Q/E |S |B |C* |B* |

|0

|1 |A, C |A, B | | | | |

|A | |

El AFD mnimo es: | |S |0 | |1 |A | |

|A | B*

|A |

|A, B |

| |

8. Dado el autmata finito: [pic]

Construir el AFD mnimo equivalente Deducir el lenguaje que reconoce

| |p* |Q |r* |S

|0 | |r | |q

|1 |q |q |s |r

| |r |s |p |

| | | | |

9. Encontrar el autmata mnimo equivalente al siguiente AFD:

10. Construir el autmata finito determinista mnimo equivalente al siguiente [pic] Primero revisamos si posee estados inaccesibles, y para este caso no los posee Luego realizamos tabla para separa los indistinguibles agrupando estados iniciales en G1 y estados finales en G2 as:

G1 = {q0, q2, q4, q5, q6, q7} G2 = {q1, q3, q8}

| |G1

| |Q0

|a |G2

|b

|c |G1

| |G1 |

| | | | | |G2 | | |

|Q2 |Q4 |Q5 |Q6 |Q7 |Q1* |Q3* |Q8* | |

|G2 |G2 |G2 |G2 |G2 |G2 |G2 |G2 |

|G1 |G2 |G1 |G1 |G2 |G1 |G1 |G1 |

|G1 |G1 |G1 |G1 |G2 |G1 |G1 |G1 |

| | | | | | | |

Luego la tabla resultante de agrupar comunes sera:

| |G1 | | |G2

| |Q0 |Q4 |Q7 |Q1*

|a |G2 |G2 |G2

|b

|c |G1

| |G1 |G1 |G2 |G1 | | | |

|G2 |G2 |G1

|G2

El autmata mnimo equivalente resultante es:

[pic]

11. Encontrar el AFD mnimo equivalente al siguiente AFND:

Segn la tabla de transicin la funcin de transicin sera:

(q0,0) = { }

(q0,1) = {q0, q3}

(q1,0) = {q0} (q2,0) = {q2} (q3,0) = {q1}

(q1,1) = {q0, q1} (q2,1) = { } (q3,1) = { }

Segn la tabla de transicin el autmata directo estara as:

DEFINICIONES

La Teora de Autmatas y su origen

La teora de autmatas, que engloba tambin al estudio de las Maquinas secunciales, tiene su origen en el campo de la Ingeniera Elctrica. El matemtico norteamericano Shanon (que luego se hara famoso por su Teora de la Informacin) vino a establecer las bases para la aplicacin de la Lgica Matemtica a los circuitos combinatorios y posteriormente Hurman, en 1954 el amplio a circuitos secunciales y utiliza conceptos como estado de un autmata y tabla de transicin. A lo largo de las dcadas siguientes, las ideas de Shanon se desarrollaron considerablemente, dando lugar a la formalizacin de una Teora de las Maquinas Secunciales y de los Autmatas Finitos (1956). Otros trabajos importantes sobre maquinas secunciales son debidos a Mealy (1955) y Moore.

La Arquitectura de un autmata finito (AF) Es una estructura matemtica que representa un sistema o maquina abstracta. La cinta de entrada (que se extiende infinitamente hacia la derecha) esta dividida en celdas, cada una de las cuales es capaz de almacenar un solo smbolo de un cierto alfabeto. La maquina es capaz de leer los smbolos de esta cinta de izquierda a derecha por medio de un cabezal de lectura. Cada vez que se lee un smbolo, el cabezal de lectura se mueve a la siguiente celda a la derecha y la maquina efecta un cambio de estado o transicin. Esta transicin esta determinada por el mecanismo de control (que contiene un nmero finito de estados), programado para conocer cual debe ser el nuevo estado, que depender de la combinacin del estado actual y el smbolo de entrada ledo.

Los autmatas finitos pueden considerarse como mecanismos aceptadores o reconocedores de palabras. De manera informal decimos que un autmata finito aceptara una palabra de entrada si, comenzando por un estado especial llamado estado inicial y estando la cabeza de

lectura apuntando al primer smbolo de la cadena, la maquina alcanza un estado final o de aceptacin despus de leer el ultimo smbolo de la cadena.

Los Autmatas finitos deterministas (AFD) se define como una quntupla = (Q; V; ; q0; F), donde: Q es un conjunto finito de estados V es el alfabeto de entrada q0 es el estado inicial F Q es el conjunto de estados finales : Q V ! Q es la funcin de transicin

El nombre \determinista" viene de la forma en que esta definida la funcin de transicin: si en un instante t la maquina esta en el estado q y lee el smbolo a entonces, en el instante siguiente t + 1 la maquina cambia de estado y sabemos con seguridad cual es el estado al que cambia, que es precisamente (q; a). El AFD es inicializado con una palabra de entrada w como sigue:

1. w se coloca en la cinta de entrada, con un smbolo en cada celda 2. el cabezal de lectura se apunta al smbolo ms a la izquierda de w 3. el estado actual pasa a ser q0

Una vez que se ha inicializado el AFD, comienza su ejecucin" sobre la palabra de entrada.

Como cualquier computador tiene un ciclo de ejecucin bsico:

1. se lee el smbolo actual, que es el apuntado por el cabezal de lectura. Si el cabezal apunta a una celda vaca entonces el AFD termina su ejecucin, aceptando la palabra en caso de que el estado actual sea final y rechazando la palabra en caso contrario. Esto ocurre cuando se ha ledo toda la palabra de entrada, y se produce una situacin similar a tener una condicin fin de fichero" en la ejecucin de un programa.

2. se calcula el estado siguiente a partir del estado actual y del smbolo actual segn la funcin de transicin, esto es, (estado actual; smbolo actual) = estado siguiente.

3. el cabezal de lectura se mueve una celda a la derecha.

4. el estado siguiente pasa a ser el estado actual y vuelve al paso 1

La funcin de transicin de un AFD se puede representar de dos formas: mediante una tabla de transicin o mediante un diagrama de transicin.

Tabla de transicin cada fila corresponde a un estado q 2 Q El estado inicial se precede del smbolo Cada estado final se precede del smbolo #.

Cada columna corresponde a un smbolo de entrada a 2 V

En la posicin (q; a) esta el estado que determine (q; a) Diagrama de transicin

Los nodos se etiquetan con los estados

El estado inicial tiene un arco entrante no etiquetado

Los estados finales estn rodeados de un doble crculo

Habr un arco etiquetado con a desde el nodo qi al qj si (qi; a) = qj

El diagrama de transicin de un AFD tiene por cada nodo un solo arco etiquetado con cada uno de los smbolos del alfabeto. Algunos autores consideran que la funcin de transicin puede ser parcial, es decir, no estar definida para algn (q; a). En ese caso se dice que el AFD es

incompleto, y en el diagrama de transicin faltaran los arcos correspondientes a los casos no de finidos de la funcin de transicin. Nosotros consideraremos que los AFDs son completos.

Un autmata finito no determinista (AFND) es una quntupla M = (Q; V;; q0; F) Donde todos los componentes son como en los AFDs, excepto la funcin de transicin que se define ahora como:

: Q V ! P (Q), donde P (Q) denota el conjunto de las partes de Q (o conjunto potencia 2Q). El hecho de que el condmino de la funcin de transicin sea P (Q) es lo que aade esta caracterstica de \no determinismo": a partir del estado actual y del smbolo actual de entrada no se puede determinar de forma exacta cual ser el estado siguiente.

Los AFND tambin se representan mediante tablas o diagramas de transicin. En el diagrama de transicin, el no determinismo se descubre porque hay algn nodo del que parten dos o ms arcos etiquetados con el mismo smbolo del alfabeto, o falta algn arco para algn smbolo del alfabeto.

El Autmatas finitos con -transiciones es bsicamente un AFND al que se le permite cambiar de estado sin necesidad de consumir o leer un smbolo de la entrada. Por eso la funcin de transicin de un AFND- se define : Q (V [fg) ! P (Q)

La tabla de transicin de un AFND- es como la de un AFND excepto que se le aade una columna correspondiente a , de forma que en la posicin T[(q; )] estar el conjunto de estados que determine (q; ).

Lenguaje aceptado por un AF Un autmata finito sirve para reconocer cierto tipo de lenguajes. Antes de definir formalmente el concepto de lenguaje aceptado por un AF necesitamos definir los conceptos de configuracin y calculo en un autmata finito. La configuracin de un autmata finito (sin importar el tipo) en cierto instante viene dada por el estado del autmata en ese instante y por la porcin de cadena de entrada que le queda por leer o procesar. La porcin de cadena leda hasta llegar al estado actual no tiene influencia en el comportamiento futuro de la maquina. En este sentido podemos decir que un AF es una maquina sin memoria externa; son los estados los que resumen de alguna forma la informacin procesada.

Formalmente una configuracin de un AF es un elemento (q; w) 2 (Q V ). Algunos tipos de configuraciones especiales son:

Configuracin inicial: (q0; w), donde q0 es el estado inicial y w la palabra de entrada. Configuracin de parada: cualquier configuracin en la que el autmata puede parar su ejecucin, bien porque se haya procesado toda la entrada o bien porque se haya llegado a una situacin donde no es aplicable ninguna transicin. Configuracin de aceptacin: (qF; ), donde qF es un estado final del autmata. Una vez alcanzada esta configuracin el autmata puede aceptar la palabra.

Equivalencia entre autmatas finitos Decimos que dos autmatas finitos M y M0 son equivalentes si y solo si aceptan el mismo lenguaje, esto es, L (M) = L (M0). Veremos ahora que, en contra de lo que parece, los autmatas no deterministas (con o sin -transiciones) son igual de potentes que los autmatas finitos Determinsticos.

Expresiones regulares La notacin de conjuntos nos permite describir los lenguajes regulares, pero se utiliza una notacin en que las representaciones de los lenguajes son simplemente texto (cadenas de caracteres). As las representaciones de los lenguajes regulares son simplemente palabras de un lenguaje (el de las representaciones correctamente formadas). Con estas ideas se va a definir un lenguaje, el de las expresiones regulares, en que cada palabra va a denotar un lenguaje regular.

Significado de las Expresiones Regulares Las ER son simplemente frmulas cuyo propsito es representar cada una de ellas un lenguaje. As, el significado de una ER es simplemente el lenguaje que ella representa. Por ejemplo, la ER representa el conjunto vaco ,-.

GRAMATICAS REGULARES

Noam Chomsky desarroll el concepto de que cada oracin tiene dos niveles distintos de representacin: una Estructura Profunda y una Estructura Superficial. La estructura profunda era una representacin directa de la informacin semntica de la oracin, y estaba asociada con la estructura superficial (la que tiende a reproducir la forma fonolgica de la oracin) mediante transformaciones. Hay un malentendido muy extendido segn el cual la estructura profunda se supona idntica en todas las lenguas naturales (para crear la Gramtica Universal), sin embargo, no fue exactamente eso lo que Chomsky sugiri.

Chomsky pens que debera haber considerables similitudes entre la estructura profunda de distintas lenguas, y que esas estructuras revelaran propiedades comunes a todas las lenguas que estaban escondidas bajo la estructura superficial. Es discutible que la motivacin para introducir las transformaciones era simplemente hacer gramticas ms (matemticamente) poderosas, en lugar de explicar el origen de las variaciones sintcticas entre las lenguas.

Aunque, para Chomsky, la capacidad de una teora gramatical a la hora de generalizarse en su anlisis de distintas lenguas es fundamental, algunas obras clave al inicio de la Gramtica transformacional (por ejemplo, la obra de Chomsky Aspects of the Theory of Syntax 1965) hacen hincapi en el papel que juegan las transformaciones para obtener el nivel necesario de poder matemtico en el componente sintctico de una gramtica, que, en su opinin, las gramticas estructuralistas, populares en aquel momento, no ofrecan. Chomsky tambin recalca la importancia de los dispositivos aportados por la moderna matemtica formal para el desarrollo de una teora gramatical.

REPRESENTACIN DE GRAMTICAS

En lingstica la jerarqua de Chomsky es una clasificacin jerrquica de distintos tipos de gramticas formales que generan lenguajes formales. Esta jerarqua fue descrita por Noam Chomsky en 1956.

LA JERARQUA

La Jerarqua de Chomsky consta de cuatro niveles:

Gramticas de tipo 0 (sin restricciones), que incluye a todas las gramticas formales. Estas gramticas generan todos los lenguajes capaces de ser reconocidos por una mquina de Turing. Los lenguajes son conocidos como lenguajes recursivamente enumerables. Ntese que esta categora es diferente de la de los lenguajes recursivos, cuya decisin puede ser realizada por una mquina de Turing que se detenga.

Gramticas de tipo 1 (gramticas sensibles al contexto) generan los lenguajes sensibles al contexto. Estas gramticas tienen reglas de la forma con A un no terminal y , y cadenas de terminales y no terminales. Las cadenas y pueden ser vacas, pero no puede serlo. La

regla est permitida si S no aparece en la parte derecha de ninguna regla. Los lenguajes descritos por estas gramticas son exactamente todos aquellos lenguajes reconocidos por una mquina de Turing no determinista cuya cinta de memoria est acotada por un cierto nmero entero de veces sobre la longitud de entrada.

Gramticas de tipo 2 (gramticas libres del contexto) generan los lenguajes independientes del contexto. Las reglas son de la forma con A un no terminal y una cadena de terminales y no terminales. Estos lenguajes son aquellos que pueden ser reconocidos por un autmata con pila.

Gramticas de tipo 3 (gramticas regulares) generan los lenguajes regulares. Estas gramticas se restringen a aquellas reglas que tienen en la parte izquierda un no terminal, y en la parte derecha un solo terminal, posiblemente seguido de un no terminal. La regla tambin est permitida si S no aparece en la parte derecha de ninguna regla. Estos lenguajes son aquellos que pueden ser aceptados por un autmata finito. Tambin esta familia de lenguajes puede ser obtenida por medio de expresiones regulares.

Ntese que el conjunto de gramticas correspondiente a los lenguajes recursivos no es un miembro de la jerarqua.

Cada lenguaje regular es a su vez libre del contexto, asimismo un lenguaje libre del contexto es tambin dependiente del contexto, ste es recursivo y a su vez, recursivamente enumerable. Las inclusiones son, sin embargo, propias, es decir, existen en cada nivel lenguajes que no estn en niveles anteriores. Tipo, Lenguaje, Autmata

Normas de produccin de gramticas 0. recursivamente enumerable (LRE) Mquina de Turing (MT) Sin restricciones 1. dependiente del contexto (LSC) Autmata linealmente acotado A

2. independiente del contexto (LLC) Autmata con pila A 3. regular (RL) Autmata finito A aB

A a Lenguajes Recursivamente Enumerables (de tipo 0)

Lenguaje recursivamente enumerable Las gramticas que generan estos lenguajes pueden tener reglas compresoras. Las reglas de produccin son de la siguiente forma: Lenguajes Dependientes del Contexto (sensibles al contexto, de tipo 1) No existen reglas compresoras, salvo, opcionalmente, la que deriva el axioma a la palabra vaca. Existen reglas en las que un smbolo no terminal puede derivar a formas sentnciales distintas, segn los smbolos que aparezcan a su alrededor

Las reglas de produccin son de la siguiente forma: Lenguajes Independientes del Contexto (de contexto libre, de tipo 2) La mayora de los lenguajes de programacin entran en sta categora. Las reglas de produccin son de la siguiente manera:

LENGUAJES REGULARES (DE TIPO 3)

Lenguaje regular: Son los lenguajes ms simples dentro la Jerarqua de Chomsky. Se suelen expresar mediante expresiones regulares. Existen 2 tipos: lineales por la derecha y lineales por la izquierda

Gramticas Regulares tipo 3 Lineales por la derecha.- Cuando todas las producciones tienen la forma A->uB A->u Lineales por la izquierda.- Cuando todas las producciones tienen la forma A->Bu A->u

Ejemplo Gramtica Lineal por la Derecha: S->0A; A->10A; A->e

Expresin Regular 0(10)*

Gramtica Lineal por la Izquierda: S->S10; S->0

GRAMTICA REGULAR AUTMATA

Si L es un lenguaje generado por una gramtica regular, entonces existe un autmata _nito determinista que lo reconoce. L es un lenguaje generado por la gramtica G = (V;T;P;S) lineal por la derecha. AFND con movimientos nulos que acepta L: M = (Q;T;d;q;F) donde Q = ,*+ : ( = S)_(A V;u T; tales que A->u P)g q0 = [S] F = ,*+-

& viene definida por: Si A es una variable: & (*A+; ) = ,*a+ : (A->a) PSi a T y a (T*U T*), entonces & (*a +;a) = *+

Ejemplo Sea la gramtica:

S->0A; A->10A; A->e El autmata que se obtiene es el siguiente: [pic] Gramticas Lineales por la Izquierda

Gramtica lineal por la izquierda, G = (V;T;P;S) 1. Consideraremos la gramtica G0 = (V;T;P`;S) donde P' = {A->a: A->a-1 PEs inmediato que L(G') = L(G)-1.

2. Sea M' el autmata finito no-determinista que acepta el lenguaje L(G').

3. Calcular M a partir de M' invirtiendo el autmata:

Dejar slo un estado final (ocurre siempre en nuestro caso). Invertir las transiciones Intercambiar el estado inicial y el final. El lenguaje aceptado por M es: L (M')-1 = L(G')-1 = (L(G)-1)-1

Ejemplo

S->S10; S->0 Para construir un AFND con transiciones nulas que acepte este lenguaje se dan los siguientes pasos: Invertir la parte derecha de las producciones: S->01S S->0 Construir el AFND con transiciones nulas asociado

[pic] [pic]

Autmata Gramtica lineal

Si L es aceptado por un Autmata Finito Determinsticos entonces L puede generarse mediante una gramtica lineal por la derecha y por una lineal por la izquierda. Sea L = L(M) donde M = (Q;A;&;q;F) es un autmata finito determinista. La gramtica lineal por la derecha es G = (Q;A;P;q0) donde las variables son los estados, la variable inicial es q0 y P contiene las producciones, p->aq; si &(p,a) = q p->; si p F

Para el caso de una gramtica lineal por la izquierda, invertimos el autmata, construimos la gramtica lineal por la derecha asociada e invertimos la parte derecha de las producciones. [pic]

[pic]

BIBLIOGRAFIA

Modulo de autmatas y lenguajes formales de la UNAD D. Kelley. Teora de Autmatas y Lenguajes Formales. Prentice-Hall, 1995. J. G. Brookshear. Teora de la Computacin: Lenguajes Formales, Autmatas y Complejidad. Addison-Wesley Iberoamericana, 1993. Modelos de Computacin I Tema 2: Autmatas Finitos. p.36/88 http://www.4guysfromrolla.com/webtech/120400-1.shtml

AUTOEVALUACION

Evaluacin individual de cada integrante del grupo

Nombre: Blanca Lucy Benavides Surez Fecha: 18/03/ 2009

A continuacin se presenta una serie de aspectos relacionados con su participacin en el desarrollo del curso acadmico y en particular de esta unidad. Para autoevaluar su participacin individual y grupal, asigne para cada aspecto un puntaje de 1 a 5. Aquellos aspectos o afirmaciones aseveraciones que no puede calificar, asigne 0 (cero) y justifique por escrito.

Puntaje y su descripcin:

|1 |Insuficiente |

|2

|3 |Menos que regular

|4 |Regular

|5 |Bueno

| |Muy bueno

|Aspectos o Afirmaciones | |Estuve en permanente contacto con mi grupo colaborativo. |4 |

|puntaje

|Me comuniqu con mi tutor frente a alguna emergencia, duda, etc. |2 | |Acus recibo de las comunicaciones realizadas por e-mail. |3 | |Realic las tareas que me compromet en forma oportuna |3 | |Colabor oportunamente en la fases del desarrollo de las guas didcticas |4 | |Tom en cuenta las observaciones y sugerencias hechas por el tutor en la planificacin de las actividades. |4 | |Busqu otras fuentes de informacin (textos, URL, etc.) para el desarrollo de las actividades del curso acadmico. |5 | |Particip activamente en el desarrollo de los contenidos de la gua didctica |4 | |Particip activamente en las reuniones grupales para la realizacin de las actividades. |4 | |Los aportes realizados a mi grupo de trabajo fueron oportunos. |4 | |Mantuve una interaccin respetuosa con mis compaeros de grupo y tutor. |5 | |Asist puntualmente a todas las reuniones fijadas por el grupo |4 |

Qu aspectos ha mejorado en sus procesos de aprendizaje: la verdad hizo falta mucho la comunicacin grupal, y har un mejor desempeo en nuestro prximo trabajo colaborativo.

Justificaciones para afirmaciones o aspectos no calificados con puntaje de 1 a 5, los puntajes a los cuales les asign un valor de 0:

AUTOEVALUACION

Evaluacin individual de cada integrante del grupo

Nombre: Yuris Marcela Giraldo Ortega Fecha: 18/03/ 2009

A continuacin se presenta una serie de aspectos relacionados con su participacin en el desarrollo del curso acadmico y en particular de esta unidad. Para autoevaluar su participacin individual y grupal, asigne para cada aspecto un puntaje de 1 a 5. Aquellos aspectos o afirmaciones aseveraciones que no puede calificar, asigne 0 (cero) y justifique por escrito.

Puntaje y su descripcin:

|1 |Insuficiente |

|2

|3 |Menos que regular

|4 |Regular

|5 |Bueno

| |Muy bueno

|Aspectos o Afirmaciones | |Estuve en permanente contacto con mi grupo colaborativo. |4 | |Me comuniqu con mi tutor frente a alguna emergencia, duda, etc. |1 | |Acus recibo de las comunicaciones realizadas por e-mail. |1 | |Realic las tareas que me compromet en forma oportuna |3 | |Colabor oportunamente en la fases del desarrollo de las guas didcticas |3 |

|puntaje

|Tom en cuenta las observaciones y sugerencias hechas por el tutor en la planificacin de las actividades. |4 | |Busqu otras fuentes de informacin (textos, URL, etc.) para el desarrollo de las actividades del curso acadmico. |4 | |Particip activamente en el desarrollo de los contenidos de la gua didctica |3 |

|Particip activamente en las reuniones grupales para la realizacin de las actividades. |4 | |Los aportes realizados a mi grupo de trabajo fueron oportunos. |4 | |Mantuve una interaccin respetuosa con mis compaeros de grupo y tutor. |5 | |Asist puntualmente a todas las reuniones fijadas por el grupo |2 |

Qu aspectos ha mejorado en sus procesos de aprendizaje: la organizacin en el desarrollo de las actividades con cada integrantes del grupo.

Justificaciones para afirmaciones o aspectos no calificados con puntaje de 1 a 5, los puntajes a los cuales les asign un valor de 0:

COEVALUACION

Evaluacin del coordinador a su grupo o de cada integrante del grupo a un compaero

Nombre del Evaluador: Blanca Lucy Benavides Surez fecha: 18/03/2009

El trabajo grupal colaborativo relaciona con la participacin y aporte de cada integrante en las actividades grupales solicitadas en la gua, en aspectos como son la discusin, anlisis y generacin conjunta de los contenidos requeridos en los mismos, al igual que la participacin activa y colaborativa en el proceso de aprendizaje. Como Integrante de su grupo de trabajo, le solicitamos evaluar el grado de participacin de cada uno de los participantes, asignando un puntaje de 1 a 5 para cada una de los siguientes aspectos. Aunque esta evaluacin implica apreciacin personal, le solicitamos que asigne el puntaje de manera objetiva.

Puntaje y su descripcin:

|1 |Insuficiente |

|2

|3 |Menos que regular

|4 |Regular

|5 |Bueno

| |Muy bueno

| | | |Afirmaciones Aspectos | | Beltrn|Ximena Bitti | |

| |Nombre de cada participante

|Osmary

|Marcela Giraldo

|Eludith

|Villalobos

| |3

|Mantuvo permanente comunicacin con el resto de los participantes del |5 |3 |2 | |grupo. | | | |

| |3

|Ayud aclarar dudas o confusiones en torno a los temas tratados en las|3 |3 |2 | |actividades. | | |3 | |

| |4

|Intercambi informacin, datos, ideas, etc. con sus compaeros de |3 |2 | |grupo durante el desarrollo de las actividades. | | |Hizo algn aporte en el desarrollo de las actividades. |4 | |

|5

|4

|4

|Particip en la solucin de problemas durante el trabajo grupal. |3 |2 | |Ayud a organizar el trabajo grupal. |3 | |4

|3

|4

|3

|3

|Fue responsable con las acciones asumidas dentro del grupo de trabajo.|4 |3 |2 | |Fue puntual en las reuniones convocadas para el trabajo grupal. |3 |1 | |4 |3

|3

|Mantuvo una interaccin respetuosa con todos los integrantes del |5 |5 | |grupo. | | |4

|5

|4

| |4

|Consider las ideas y aportes del resto del grupo de trabajo. |4 |4 |

|Colabor en la bsqueda de informacin y recursos para la fase del |4 |4 |3 | |desarrollo de las unidades didcticas | | |

|4

----------------------q1

q2

q3

q4

P1

P2

P4

0,1

0,1

0,1

q1

q7

q8

0,1

b, c

q0

q4

q1

q7

a, b, c

b, c

q0

q3

q2

0, 1

INICIO

P1

P2

P4

0,1

0,1

0,1

q1

q7

q8

0,1

b, c

q0

q4

q1

q7

a, b, c

b, c

q0

q3

q2

0, 1

INICIO

Estudio independiente de los Lenguajes Regulares, AF, AFD, AFND, AFND-, gramtica, relaciones de derivacin, sentencias, lenguajes, tablas y diagrama

SI

NO

Repaso los diferentes puntos a tratar para un buen y desempeo para el desarrollo del trabajo

Se va desarrollando los ejercicios que cada quien tiene asignado

Desarrollo de los cuadros de Auto evaluacin y Coevaluacin

SI

Entrega de los cuadros resueltos

Revisar todo para la entrega final del trabajo colaborativo No.1

Entrega de los ejercicios Resueltos que tiene cada quien asignado para el trabajo final

FIN _______________________________________________________________________---------DESARROLLO CUESTIONARIO

1. Obtener el lenguaje reconocido por el siguiente AFD: A = ({q0, q1, q2, q3, q4}, {a, b, c}, f, q0, {q2}) R/:

[pic] Q= {q0, q1, q2, q3, q4}

= ,a, b, cf= funcin de transicin v=q0 F=q2 #

El lenguaje reconocido es: L= {v Q | (q0,Q) * (q2,F) }

2.- Con base en el siguiente Diagrama de Moore: Realice las siguientes Actividades:

[pic]

a. Generalice mediante una expresin regular y explique el lenguaje que acepta el Autmata.

A+3B*=Y

b. Construya la respectiva tabla de transicin

|f |q1 |q2 |q3

|1 |q1 |q3 |q3

|2 |q1 |q3 |q3

|3 |q2 |q3 |q3

| | | |

c. Defina el Autmata como un conjunto de cinco elementos

B=({q1,q2,q3,},{1,2,3},f,q1{q2})

f(q1, 1) = q1 f(q2, 1) = q3 f(q3, 1) = q3

f(q1, 2) = q1 f(q2, 2) = q3 f(q3, b) = q3

f(q1, 3) = q2 f(q2, 3) = q3 f(q3, 3) = q3

4. Decir cules de las siguientes palabras son reconocidas por el siguiente:

AFND: 110, 01, 100 AFND = ({0, 1}, {q0, q1, q2}, q0, {q1})

f(q0, 0) = f(q1, 0) = ,q0f(q2, 0) = ,q2-

f(q0, 1) = ,q1, q2f(q1, 1) = ,q0, q1f(q2, 1) =

f(q0, ) = f(q1, ) = ,q0f(q2, ) = ,q1-

[pic] R/: Este AFND reconoce las siguientes palabras:

f(q0, 1)= {q1,q2} f(q1, 0)= {q0} f(q1, 1)= {q0,q1} f(q2, 0)= {q2}

5. Determinar la pertenencia de las cadenas: aab, aba y ba, al lenguaje reconocido por el siguiente AFND:

A = ({a,b}, {q1,q2,q3,q4}, f, q1, {q1}, {(q2,q4), (q3,q4), (q4,q3)})

[pic]

f(q1,a) = {q2}

f(q1,b) =

f(q2,a) = {q1,q3,q4} f(q2,b) = {q1,q3} f(q3,a) = f(q4,a) = f(q3,b) = {q1,q4} f(q4,b) = {q3}

[pic] AFND: aab, aba, ba f(q1,a) = {q1} f(q1,a) = {q2} f(q2,b) = {q3} f(q3,a) = {q4}

7. Obtener para cada uno de los siguientes autmatas finitos su autmata mnimo Equivalente:

[pic] Q1= Estados inciales ; Q1= {p1, p2, p3, p5, p6, p7} Q2 =Estados Finales ; Q2 = {p4, p8}

TABLA PARA SEPARAR INDISTINGUIBLES DE Q1 Y Q2

| |Q1 | | | |

|f |p1 |p2 |p3 |p5 |p6

|0 |Q1 |Q1 |Q1 |Q1 |Q1

|1

| |Q2 | | | | |

|Q1 |Q2 |Q1 |Q2

| |Q2 |

|p7 |p4 * |p8 *

|Q1 |G1 |G1

|Q1 |G1 |G1

| | |

Tabla agrupar de comunes

| |Q1 | |Q2

|f |p1 |p2 |p4*

|0 |Q1 |Q1 |Q1

|1

| |Q2 | | |

|Q1 |Q1

Autmata mnimo equivalente a A1

[pic]

[pic] G1= Estados inciales ; G1= {q1, q2, q3, q6, q7} G2 =Estados Finales ; G2 = {q8}

TABLA PARA SEPARAR INDISTINGUIBLES DE Q1 Y Q2

| |G1 |

|f |q1 |q2

|0

|1 |G1

| |G1 | |

|G1

|G1

| | | |G2

|q3 |q6 |q7 |Q8*

|G1 |G1 |G1 |G1

|G1 |G1 |G2 |G1

| | | |

TABLA AGRUPAR DE COMUNES

| |G1 | |G2

|f |q1 |q7 |q8*

|0 |G1 |G1 |G1

|1

| |G1 | | |

|G2 |G1

Autmata mnimo equivalente a A1

[pic]

8. Dado el siguiente autmata finito no determinista:

[pic]

a)Construir el AFD mnimo Equivalente. R/:

F (p,1) = q

F (p,0) = F (p,1) = r

F (q,1) = q F (r,1) = s F (s,1) = r

F (q,0) = r

F (q,1) = s

F (r,0) = F (r,1) = p F (s,0) = q F (s,1) =

| |p |q |r |s

|1 |q |q |s |r

|0 | |r | |q

| |r |s |p |

| | | | |

(b) Deducir el lenguaje que reconoce. R/:

Q= {p, q, r, s} = ,0,1,f= funcin de transicin v=p F=p*,r*

El lenguaje que reconoce el AFD es: L={v Q | (p , Q) * (p , F)| (r , F)}

9. Encontrar el autmata mnimo equivalente para los siguientes Autmatas especificados mediante sus tablas de transicin:

[pic] R/: G1= Estados inciales ;

G1={q0,q1,q3,q5,q6,q7,q8} G2 =Estados Finales ; G2 = { q2,q4,q6,q9}

| |G1 |G1 |G1 |G1 |G1 |G1 |G2 |G2 |G2 |G2

|f |q0 |q1 |q3 |q5 |q7 |q8 |q2* |q4* |q6* |q9*

|a |g1 |g1 |g1 |g2 |g1 |g1 |g2 |g1 |g2 |g1

|b

|c |g1 |g2 |g2 |g1 |g2 |g1 |g1 |g2 |g1 |g2 |g1 |g1 |g1 |g1 |g1 |g1 |g2 |g2 |g2 |g2

| | | | | | | | | | |

[pic] R/: Se escoge la primera particin separando en dos grupos los terminales con los no terminales: Q/E1= ( C1, C2) C1= Estados finales, C2= Estados no finales Q/E1= ( C1= [q1, q3, q8 ], C2=[q0, q2, q4, q5, q6, q7 ])

Clase 1 C1: q1, q2, y q3 Transitan igual

| |Q1* |Q3* |Q8*

|a |C1 |C1 |C1

|b |C2 |C2 |C2

|c |C2 |C2 |C2

| | | |

Clase 2 C2: Q0, Q5, Q6 Transita igual Q4, No Transita igual Q7, No Transita igual

| |Q0 |Q2 |Q4 |Q5 |Q6 |Q7

|A |C1 |C1 |C1 |C1 |C1 |C1

|B |C2 |C2 |C1 |C2 |C2 |C1

|C |C2 |C2 |C2 |C2 |C2 |C1

| | | | | | |

Q/E2= ( C1= [q1, q3, q8 ], C2=[q7]), C3=[q4]), C4=[q0, q2, q5, q6 ])

| |Q0 |Q2 |Q5 |Q6

|a |C1 |C1 |C1 |C1

|b |C4 |C4 |C4 |C4

|C |C4 |C4 |C4 |C4

| | | | |

q0, q2, q5, q6, transitan iguales

La solucin es: Q/E= ( C1= [q1, q3, q8 ], C2=[q7]), C3=[q4]), C4=[q0, q2, q5, q6])

[pic]

10. Encontrar el AFD mnimo equivalente al siguiente AFND:

[pic] R/: Este lenguaje acepta todos los empezados en 1, el estado que conduce la transicin no es aceptacin.

[pic]

[pic]