ACTIVIDAD NUMERO UNO

RECONOCIMIENTO DEL CURSO

CURSO DE AUTOMATAS Y LENGUAJES FORMALES

CDIGO: 301405_62

Presenta: Oscar Eliezer Salsedo Quiroz

Cdigo: 1120864871

Tutora:
ngela Mara Gonzales

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Bsicas, Tecnologas e Ingenieras - ECTBI
Programa de Ingeniera de Sistemas.
Ao 2016-I

Problemas a desarrollar:

1. Las expresiones regulares (ER), pueden tambin escribirse de otras formas o con otra secuencia de operadores o
distribucin de smbolos. En general es una forma matemtica que representa el Lenguaje que genera un
Autmata. Y esas expresiones regulares siempre sern vlidas siempre y cuando representen exactamente el
mismo lenguaje para un Autmata. Concluyendo, para un Autmata, puede haber ms de una ER que representa
el mismo lenguaje ya sea que esa ER sea minimizada, extensa, equivalente o como se prefiera escribir. Solo que
en los diseos ptimos computacionales siempre se buscar la mejor ER (corta o mnima) para efectos de la mejor
simulacin o para llevarlas a lenguajes de programacin en la creacin de soluciones computacionales (solucionar
problemas - Algoritmos).
Dados los siguientes tems, Autmatas Finitos Deterministas, Autmatas Finitos no Deterministas, lenguajes y
expresiones regulares (ER), encuentre segn corresponda:
AFN/AFD
EJ
1

LENGUAJE
L= {w | w tiene al menos una a y tiene
al menos una b} sobre {a,b}

EXPRESION REGULADA
(a+(b|a*)+b+(a|b)*)+(b+(a|b*)+(a|
b)*)

EJ
2

L={w | w comienza con b y termina en

a { (b+b|b*+a+a*)+(a+(a|b)*)}}

(b+b|b*+a+a*)+(a+(a|b)*)

EJ
3

El lenguaje de las palabras que tiene a

abb o bba por subcadena.

(abb|bba)*

EJ
4

L={w|w comienza y/o termina por

subcadenas de bfa o dgc | (bfa|dgc)* }

(bfa|dgc)*

EJ
5

L={w|w comienza con ab y termina en

d con almenos una c en medio |
(ab+c)*d }

(ab U c)* d
Quedara de la forma.
(ab+c)* d