Академический Документы
Профессиональный Документы
Культура Документы
Introduccin
Contenido
1.1 La importancia de estudiar los autmatas y
lenguajes formales
1.2 Smbolos, alfabetos y cadenas
1.3 Operaciones sobre cadenas
1.4 Definicin de lenguaje y operaciones sobre
lenguajes
1.5 La jerarqua de Chomsky: Clasificacin de
gramticas y lenguajes
Conceptos bsicos
Alfabeto
Conceptos bsicos
Convencin
Observacin:
Concatenacin
Si u, v A*, u=a1an, v=b1bn, se llama
concatenacin de u y v a la cadena uv dada
por a1anb1bm.
Propiedades
Ejemplos
Ejemplos:
Definicin
Si u
A*
u0 =
ui+1 = uiu
entonces
i >= 0
Complemento en *
Concatenacin
~A = {x * | x A}
AB = { xy | x A y y B}
A0 = {}
A(n+1) = AAn
Es decir, An se forma concatenando n copias de A
consigo misma. Am An = Am+n
Ejemplos
{ab, aab}0= {}
{ab, aab}1= {ab, aab}
{ab, aab}2= {abab, abaab,aabab,aabaab}
{ab, aab}3= {ababab, ababaab,abaabab,abaabaab,
aababab, aababaab,aabaabab,aabaabaab}
De igual forma:
Ejercicios
*
+
AUB
A B
~A
AB
BA
A2
B2
(A U B ) U C = A U (BUC)
(A B ) U C = (A B) C)
(AB)C = A(BC)
AUB=BUA
A B=B A
A = A =
La concatenacin de conjuntos no se
distribuye con respecto a la interseccin.
Ejercicios
L = {w * | w cumple la propiedad P}
Ejemplo
L = V* L
L1 L2 = {x y * | (x L1) (y L2)}
La definicin anterior slo es vlida si L1 y L2
contienen al menos un elemento.
L=L=
Concatenacin de lenguajes
Potencia n-sima
Ejemplo:
Si L = {ab, c} es un lenguaje sobre el alfabeto {a, b,
c} entonces,
L0 = {}
L1 = L = {ab, c}
L2 = L L1 = {abab, abc, cab, cc}
L3 = L L2 = {ababab, ababc, abcab, abcc, cabab, cabc,
ccab, ccc}
Lenguaje inverso de L:
LR ={wR | w L}
Cerradura positiva
L L
n 1
Cerradura
L* Ln
n 0
Lenguaje
Modelo matemtico
Recursivamente
enumerable
(Nivel pragmtico)
Tipo 1: dependiente
del contexto
Dependiente del
contexto
(Nivel semntico)
Autmata linealmente
limitado (ALL)
Tipo 2: independiente
del contexto
Independiente del
contexto
(Nivel sintctico)
Tipo 3: regular
Regular
(Nivel lxico)