TRABAJO COLABORATIVO 1 AUTOMATAS Y LENGUAJES FORMALES

RUTH EMELY CAMARGO 1052391153 CINDY LORENA VANEGAS CC LIBIA JUDITH DOMINGUEZ CC 1057214372

TUTOR JESUS EMIRO VEGA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA ECBTI INGENIERIA DE SISTEMAS 2013 INTRODUCCION Se dice que los lenguajes que pueden reconocer los dispositivos llamados Autmatas finitos (AF) que son mquinas de cmputo con memoria muy restringida. En este trabajo se anali ara desde un un punto de vista que un lenguaje no sea regular! adems de proporcionar un modelo sencillo de computacin! instalando el programa y desarrollando la actividad A trav"s de este trabajo se da un resumen de conceptos de la unidad n#mero uno del mdulo autmatas y lenguajes formales y la ve afian ar nuestros conocimientos desarrollando los ejercicios propuestos se autmatas finitos determin$sticos y no determin$sticos(AF%&) de acuerdo a lo investigado y al un tema propuesto! plasmando aqu$ lo entendido despu"s de debatir el tema entre los compa'eros

OBJETIVOS

OBJETIVO GENERAL! (econocer los lenguajes regulares! autmatas finitos y su aplicacin.

OBJETIVOS ES"ECIFICOS Estudiar la aplicacin de los lenguajes regulares y los autmatas finitos. Adquirir las )abilidades necesarias para desarrollar autmatas y mquinas que recono can lenguajes o computen funciones. &istinguir los diferentes tipos de lenguajes formales e*istentes. Adquirir el conocimiento y competencia para poder recrear autmatas sencillos en un simulador. &e igual forma verificar el lenguaje que reconoce.

DESARROLLO DELA ACTIVIDAD +ara el siguiente ejercicio! recordaremos ciertas apreciaciones! conceptos o afirmaciones acerca de las E*presiones (egulares! com#nmente denotadas como ,E(-. /na e*presin regular es una forma de representar cierto tipo de lenguajes sobre un determinado alfabeto. Son e*actamente los aceptados por los autmatas de estado finito. Si tomamos como A un alfabeto! unas posibles e*presiones regulares sobre ese alfabeto podr$an ser. (identifique que lenguaje reconoce esa E()0. 1(2) 32 a. 2 es una E( que denota el 1enguaje 2 b. 4 es una E( que denota el lenguaje 5l6! siendo l la cadena vac$a

En general los lenguajes que pueden representarse mediante una e*presin regular se llaman lenguajes regulares. Estos coinciden con los aceptados por los autmatas finitos. Es importante que tengamos definido o claro que Si r y s son E( denotando los lenguajes ( y S! entonces se definen tres operaciones muy bsicas. 7 /nin. (r 8 s) es una e*presin regular E( que denota el lenguaje ( / S 7 9oncatenacin. (rs) algunos autores lo toman como (r:s) es una e*presin regular E( que denota le lenguaje (S. 7 9lausura. r; es una e*presin regular E( que denota el lenguaje (; +ara efectos de plasmar las E(! los par"ntesis se pueden eliminar siempre y cuando los s$mbolos y caracteres no alteren la interpretacin de otros caracteres o cadenas. 1a precedencia de las operaciones es. clausura < 9oncatenacin < /nin. +ara los siguientes ejercicios identifique el lenguaje que reconoce y plasme cinco posibles cadenas vlidas que representan esa E(. EJEM"LO COMO DEBE REALIZAR EL EJERCICIO. si A 3 5a!b!c6 c)
(a +b)*(a+b)

E=+(ES>?% @ 9A&E%AS +?S>A1ES @ (a 8 b) @ Ab @ @ Aabab @

@ Ababab @ @ Aaabab @ @ abbbbbbab @ @ abbbbbbab @

d) (a* + b ) *

E=+(ES>?% @ 9A&E%AS +?S>A1ES @ (a; 8 b); @ 4 @ @ Aaabbab @ @ aaaaabab @ @ abaabbaabab @ @ aabbabab @ @ aababaaab @ #$ %&' ( $)&*

E=+(ES>?% @ 9A&E%AS +?S>A1ES @ (a 8 4 )b; @ A @ @ Ab @ @ Abbba @ @ Abababa @ @Aaabaabab @ @ Ababababab @ f)

b (aba)*

E=+(ES>?% @ 9A&E%AS +?S>A1ES @ b (aba); @ Aab @ @ abaaba @ @ abbbaaba @ @ ababaaaba @ @ abbbaaaba @

+$

si A 3 5B!C6
h) 0*+1*(01)

E=+(ES>?% @ 9A&E%AS +?S>A1ES @ BCBC @ @ BCCCCBC @ @ CCCCBCBC @ @ BBBBCBCBCBC @ @ BCBCBCBC @ i) 10* ' 10 E=+(ES>?% @ 9A&E%AS +?S>A1ES @ CB; 8 CB @ CB @ @ CBCB @ @ CBCCB @ @ CCB @ @ CBCBCBCBB @ ,$ 01* ' 0 E=+(ES>?% @ 9A&E%AS +?S>A1ES @ BC; 8 B @B@ @ BCB @

@ BCBB @ @ BB @ @ BCBCBCBCB @

-$ %1 . 11*0$ * E=+(ES>?% @ 9A&E%AS +?S>A1ES @ (C D CCB) ; @4@ @ CCCB @ @ CCCCB @ @ CCCBCCB @ @ CCCCCCB @ /$ %1 ' 10$ '0 E=+(ES>?% @ 9A&E%AS +?S>A1ES @ (C 8 CB) 8 @ CCB @ @ CCCB @ @ CCCCB @ @ CCCBCCB @ @ CCCCCCB @ 0$ 1* 0* 10 E=+(ES>?% @ 9A&E%AS +?S>A1ES @ C; B; @4@ @ CBCBCBCB @ @ CBCBCB @ @ CB @ @ BCB @ 1$ 00* 11* E=+(ES>?% @ 9A&E%AS +?S>A1ES @ BB; CC; @4@ @ BBCC @ @ CCC @ @ BCC @ @ BBCCBBCC @ 2$ %0'1$*11%1'0$*

E=+(ES>?% @ 9A&E%AS +?S>A1ES @ (B8C);CC(C8B); @ CC @ @ BCCCCB @ @ BCCC @ @ CCCCCC @ @ BCBCBCBCCCCBCBCB @

E. +artiendo de la definicin de que un Autmata Finito &etermin$stico (AF&) est dado por la qu$ntupla. A 3 (F! G! f! q B ! F) donde. F es un conjunto de estados. G es el alfabeto de entrada f. F = G H F es la funcin (total) de transicin. qB F es el estado inicial. F F es el conjunto de estados finales. I que para el ejercicio! el autmata se define como. A 3 (5q B ! qC ! q E ! q J 6 ! 5B!C6 ! f ! q B ! 5 q E 6) (epresentado mediante el grafo.

E% /% S>K/1A&?( (IA SEA LF1A+ ? MAS) +lsmelo en el simulador

(ealice la tabla de transicin correspondiente.

TABLA DE TRANSICIONES A B C qB 5qB!qC B 6 qC qJ qE qE qJ B qJ qJ qJ 9ompruebe el lenguaje aceptado

L3 40516 >dentifique la e*presin regular que permite identificar que cadenas son vlidas y que acepta el autmata.

1a ER que acepta el autmata es %0'1$*01 C&7#1&8 9:# &;#<=&! BC BCBC

>dentifique que denotacin de estados est errada y corr$jala C2>>#;;?@1 7# #8=&728! Se corrigi el estado inicial qB ya que cuando vale B vuelve en si mismo y cuando vale C tambi"n queda en inicial! lo que se corrigi por lo tanto cuando valga C pasara al siguiente estado qC para seguir la secuencia del autmata! lo mismo se reali corrigiendo el estado qE agregando a este que cuando tenga el valor de C contin#e al siguiente estado en este caso qJ

J. Acorde al autmata del ejercicio % E! (ealice. >dentifique si es un AF& o AF%& y justifique por qu". Es un autmata AFND porque tiene la caracter$stica que para cada estado tiene ms de una transicin Si dado el caso es un AF%& convi"rtalo en el simulador a un AF& y plsmelo en el trabajo sus cadenas vlidas. Analice si son las mismas cadenas que acepta al autmata antes de convertirlo. El nuevo AF%& debe plasmarlo en el simulador.

9ompruebe el lenguaje aceptado

1as cadenas aceptadas por este autmata AF& son las mismas que las aceptadas por el autmata AF%&

N. +ara el siguiente Autmata que acepta el lenguaje.

L = { {x,y,z}* = x*yz2 , i >= 0} E (ealice las siguientes actividades. O &etermine si es un AF& AF%&

Es un AF%& ya que en un estado puede )aber ms de una transicin posible para un mismo s$mbolo de entrada (alfabeto). O Encuentre la E( . *;y

Prfico en un diagrama de Koore

(ealice la tabla de transicin

&e cinco (BQ) ejemplos de cadenas vlidas que acepte el autmata

(ecr"elo en el simulador . Fue recreado en LF1A+

R. 9onstruya un Autmata que acepte el siguiente 1enguaje. 1 3 BB;CC; S >dentifique sus componentes (la tupla que es) S 9onstr#yalo en los simuladores. S &emu"strelo con al menos cinco cadenas vlidas. &emuestre tres cadenas no vlidas y justif$quelas por qu" no son vlidas comparadas con la e*presin regular. S >dentifique y justifique si su dise'o de Autmata es AF& AF%& S 9ree las tablas de transicin S +lasme el diagrama de Koore T. +ara el siguiente autmata.

S >dentifique sus componentes (la tupla que es) S >dentifique si es un AF& o un AF%& o si es un autmata de landa transiciones. Lustifique sus repuestas. S 9onstr#yalo en el simulador S >dentifique claramente las cadenas y subcadenas vlidas y justif$quelas. S +lasme en el trabajo los grficos generados. S >dentifique la e*presin regular y el lenguaje que representa S +lasme la tabla de transicin. /%>ME(S>&A& %A9>?%A1 AA>E(UA I A &>SUA%9>A D /%A& %ombre escuela. Escuela de 9iencias Asicas Uecnolog$a e >ngenier$a %ombre programa. >ngenier$a de Sistemas V. 9onstruya un Autmata Finito &etermin$stico (AF&) de tres (J) estados que acepta dentro de su lenguaje la palabra ,unadS >dentifique sus componentes (la tupla que es) S 9onstr#yalo en los simuladores. S 9ree las tablas de transicin S +lasme el diagrama de Koore S Escriba la e*presin regular que represente.

W. +ara el siguiente autmata finito determinista dado por. K 3 (5qB! qC! qE! qJ6 ! 5B! C6 ! X! qB! 5qC6) &onde la funcin X . 5qB! qC! qE! qJ 6 Y 5B! C6 H 5qB! qC! qE! qJ6 viene dada por. X(qB! B) 3 qB X(qB! C) 3 qC X(qC! B) 3 qB X(qC! C) 3 qE X(qE! B) 3 qJ X(qE! C) 3 qC X(qJ! B) 3 qJ X(qJ! C) 3 qE

S S S S S

+lsmelo en los simuladores. (ealice el diagrama de Koore. >dentifique la tabla de transicin correspondiente. Merifique el lenguaje aceptado y las cadenas vlidas para el autmata. >dentifique la e*presin regular que lo representa.

T&)/& 7# =>&18?;?@1

FB Z FC FE FJ

0
{FB} {FB} {FE} FJ

1
{FC} {FE} {FC} {FE}

E1 1E%P/ALE A9E+UA&? ByC 1AS 9A&E%AS M[1>&AS +A(A E1 A/U\KAUA. BC C BCCBBCC CCBBCC BCCBCC CCBCC ESUA&? >%>9>A1 FB Estado Final FC

CB. +ara el siguiente autmata.

S S S S S S

>dentifique sus componentes (la tupla que es) (ecr"elo en los simuladores (ealice la tabla de transicin. Fu" tipo de Autmata es (Lustif$quelo). >dentifique la E( y el 1enguaje que acepta Fue cadena reconoce. (&emu"strelo y graf$quelo en el simulador).

>dentifique sus componentes (la tupla que es) Es una qu$ntupla K 3(F! A! X! qB! F) en que. D F es un conjunto finito llamado conjunto de estados A es un alfabeto llamado alfabeto de entrada D X es una aplicacin llamada funcin de transicin X. F Y A F DAB es un elemento de F! llamado estado inicial D F es un subconjunto de F! llamado conjunto de estado finales .
(AF) A= (, Q, f. A, F) donde = {0,1} , Q = {A1, B2, C3, }

(ealice la tabla de transicin.

T&)/& 7# T>&18?;?@1 7# #8=&728 7]AB B AB C AC

;AC AE AJ

AB AJ AJ

AE AC AE

Fu" tipo de Autmata es (Lustif$quelo). Es un autmata AFD por que los autmatas finitos son capaces de reconocer solamente! un determinado tipo de lenguajes! llamados 1enguajes (egulares! que pueden ser caracteri ados tambi"n! mediante un tipo de gramticas llamadas tambi"n regulares. >dentifique la E( y el 1enguaje que acepta

Fue cadena reconoce. (&emu"strelo y graf$quelo en el simulador).

(econoce la cadena (BC)

CONCLUSIONES Se estudi la aplicacin de los lenguajes regulares y los autmatas finitos. Se adquirieron las )abilidades necesarias para desarrollar autmatas y mquinas que recono can lenguajes o computen funciones.

Se distinguieron los diferentes tipos de lenguajes formales e*istentes. Se adquirio el conocimiento y competencia para poder recrear autmatas sencillos en un simulador. &e igual forma verificar el lenguaje que reconoce.

BIBLIOGRAFIA Kodulo automtas y leguajes formales ^^^.e*presionesreguales.com Uomado de Apuntes de Teoria de Automatas y LenguajesF ormales Tomado de Universidad de Cadiz Escuela superior de Ingenieria Departamento de matemticas

Los" 1uis Sierra 7Federico +einado >ngenier$a en >nformtica Facultad de >nformtica D /niversidad 9omplutense de Kadrid 9urso EBBW7EBCB