Automatas y lenguaes

formales
Presentado a tutor: Cesar Jimenez
Presentado por:
Michael david santofimio cc
1030577808
Actividad 1 individual
Grupo 301405-66
Febrero 2017
 Lenguaje regular
los que se pueden generar a partir
de los lenguajes bsicos, con la
aplicacin de las operaciones de
unin, concatenacin y * de Kleene
un nmero finito de veces.
En la jerarqua de Chomsky se refiere
a los lenguajes de tipo 3, aquellos
que pueden representarse mediante
gramticas regulares, autmatas
finitos o expresiones regulares.
 Se dice que un lenguaje es regular si y slo
si se cumple cualquiera de las siguientes
proposiciones:

Tiene al menos una gramtica regular G que

lo produce.
Puede ser reconocido por un autmata finito
A.
Existe una expresin regular Er que
representa a todas las cadenas de L.
 Expresin regular
A menudo llamada tambinpatrn,
es una expresin que describe un
conjunto de cadenas sin enumerar
sus elementos.
El objetivo de las expresiones
regulares es representar todos los
posibles lenguajes definidos sobre un
alfabeto , en base a una serie de
lenguajes primitivos, y unos
operadores de composicin
 Ejemplos expresion regular
Ejemplo: 1. Lenguaje formado por las
cadenas que terminan en 01: {0,1}*.
{01}= ({0}{1})*.{01} Expresin
regular: (0+1)*01

2. Lenguaje formado por palabras de

longitud par sobre as y bs:
{aa,ab,ba,bb}*=
({aa}{ab}{ba}{bb})*
Expresin: (aa+ab+ba+bb)*
Autmata finito,
Un autmata finito (AF) o mquina
de estado finito es un modelo
computacional que realiza cmputos
en forma automtica sobre una
entrada para producir una salida.
Este modelo est
conformado por un
alfabeto, un conjunto de
estados finito, una
funcin de transicin,
un estado inicial y un
conjunto de estados
 La finalidad de los autmatas finitos
es la de reconocer lenguajes
regulares, que corresponden a los
lenguajes formales ms simples
segn la Jerarqua de Chomsky.

Clases
Autmata finito determinista
Autmata finito no determinista
Autmata finito determinista Autmata finito no
determinista

Unautmata finito
determinista(abreviadoAFD) es
un autmata finito que adems es
unsistema determinista; es decir,
para cada estadoqQen que se
encuentre el autmata, y con
cualquier smboloa del alfabeto
ledo, existe siempre a lo ms una
transicin posible (q,a).
 Un autmata finito no determinista
(abreviado AFND) es aquel que, a
diferencia de los autmatas finitos
deterministas, posee al menos un
estado q Q, tal que para un
smbolo a del alfabeto, existe
ms de una transicin (q,a) posible.
 Conclusiones
Claramente he logrado empezar a
contextualizar el lenguaje que se
debe tener en cuenta para el
desarrollo del presente curso
Se evidencia claramente el enfoque
que tiene un lenguaje regular, su
uso y estructura as como los
autmatas finitos.