UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA INGENIERA ELECTRNICA 301405-4 AUTOMATAS Y LENGUAJES FORMALES ACT 10 TRABAJO COLABORATIVO 2

RUBN CAMILO TA IA LLANOS

B!"!#$% 2& '( )!*+(,-.( '( 2013

OBJETIVOS Reconocer las distintas gramticas ya que existen diferentes formas que generan un mismo lenguaje. El hecho de no restringir la forma de las reglas se tiene inters en los casos en que se desea disear una gramtica para un lenguaje dado Analizar la estructura de las gramticas independientes del contexto. Estudiar el concepto de los autmatas de pila su funcionamiento y los lenguajes utilizados. !istinguir los lenguajes independientes del contexto existentes y sus propiedades as" como los algoritmos de decisin. #eneralizar los conceptos de autmatas finitos y gramticos regulares. Reconocer el potencial de procesamiento del lenguaje del autmata con los Autmatas de pila.

INTRODUCCIN

$os lenguajes independientes del contexto que tam%in se conocen con el nom%re de gramticas de contexto li%re son un mtodo recursi&o sencillo de especificacin de reglas gramaticales con las que se pueden generar cadenas de un lenguaje. Es facti%le producir de esta manera todos los lenguajes regulares adems de que existen ejemplos sencillos de gramticas de contexto li%re que generan lenguajes no regulares. $as reglas gramaticales de este tipo permiten que la sintaxis tenga &ariedad y refinamientos mayores que los realizados con lenguajes regulares en gran medida sir&en para especificar la sintaxis de lenguajes de alto ni&el y otros lenguajes formales.

'. (alcular el autmata m"nimo correspondiente al siguiente autmata finito.

El autmata es AFD por lo tanto la tupla es Q es un conjunto de estados. es el alfabeto de entrada : Q X Q es la funcin (total) de transicin. Dados un estado una entrada de!uel!e un estado.

q0 Q es el estado inicial Q es el conjunto de estados finales o de aceptacin. Acepta las cadenas como:
)

El autmata finito es de qu"ntupla no determin"stica ya que de un estado determinado su transicin su se sa%e cul ser el estado siguiente. *n autmata finito no determin"stico +A),!- es una qu"ntupla . / +0 1 q2 )- donde todos los componentes son como en los A)!s excepto la funcin de transicin que se define ahora como3

0 4 1 567+0-

!onde 7+0- denota el conjunto de las partes de 0 +o conjunto potencia 80-. 9,o determinismo: +condominio 7+0--3 a partir del estado actual y del s"m%olo actual de entrada no se puede determinar de forma exacta cul ser el estado siguiente.

8. ;dentifique la ta%la de transicin correspondiente a {Q2} {Q2,Q4 } {Q2} 0 {Q2} B {Q3} 0 {Q3} {Q2,Q5 } {Q3}

Q1 Q2 Q3 Q4 #Q5

<. ;dentifique el lenguaje que reconoce y enuncie cinco posi%les cadenas &lidas que terminen en el estado 9halt:

$/$/+A " +a %-=>A/an%mm?/<ym@'-

Posibles cadenas:
aaa%%%aaa aa%%%aa a%%%a %%%aaa aaa a%%%aaaa aaa%%%aa a%%%aa

A. Encuentre la expresin regular &lida. +''='B22=''='-+2'='-=2++''='B22=''='-+2'='-=2-= !e la forma a+aB%a=%a=%-=B%+aa=%-=%a=%a=B a+aB%a=%a=%-=B%+aa=%-=%a=%a=

C. Encuentre su gramtica que sea &lida para la funcin de transicin +descri%a sus componentes y como se escri%en matemticamente-. Dustif"quela si la con&ierte a la ;zquierda o a la derecha. 7lsmela en el simulador y recrela. +!e%e quedar documentado en el texto el paso a paso que realizan en el simulador-.

$a gramtica &lida para la funcin de transicin es3

AEFaG o AEFa donde A GHI, a HIJ Ku gramtica est definida as"3 #/ +LA G ( !M La %M 7 K- siendo 7 el siguiente conjunto. K/aG K/%G A/%( A/aA A/a G/%G G/aA G/% (/%! (/aA (/% !/aA !/%G !/%

$a con&ersin se realiza a la derecha ya que todas las producciones son de la forma3

En el lado derecho de las producciones el s"m%olo no terminal aparece a la derecha del s"m%olo terminal.

N. Realice el r%ol de !eri&acin de esa gramtica. $as gramticas son3

O. ;dentifique si ese r%ol o gramtica es am%igua o no y plasme las razones de su afirmacin.

,o es am%igua ya que la gramtica li%re de contexto tiene un solo r%ol de deri&acin para una o %arias cadenas.

P. Ki el r%ol de transicin es demasiado grande a su criterio seleccione una regla en la que se detenga por cualquier rama +izquierda o derecha- y plsmelo hasta ah". $a siguiente es la regla para detener el r%ol por la rama derecha.

+KEFaG-+ GEFa!-+ !EF%A--+ AEF#-

ACTIVIDADES ARA EL EJERCICIO A MINIMI/AR O YA MINIMI/ADO0

Q. Explicar el proceso de minimizacin +que estados se suprimen y porque-.

7aso '3 Ke crean dos su%conjuntos uno formado por los estados no finales y otro por los estados finales.

,R );,A$EK3 +q' q< qA qC- +q2 q8-

7aso 83 E&aluacin de estados no finales.