Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tema 2
Tema 2
1 Concepto de lenguaje
Definición: Alfabeto. (2) .
Un alfabeto es un
conjunto finito no vacio de simbolos
- -
.
↳
I (a , b) (b , a) Que puedan escribir fácilmente
=
se
2 =
<1 ,
0
, A} = =
{ 1 , 8, a} ↳ fácilmente diferenciable .
Habitualmente ,
las cadenas suelen denotance con letras minúsculas a
partie
de la"n" ,
o letras minúsculas del alfabeto griego (a , ,... 1 .
Si la semencic es
infinita ,
no es un alfabeto .
2 =
4a , b4
w abba /Importa el orden) abbababa
=
-
Definición: Cadena vacía. E .
Cadenc
que no time
ningin simbolo .
secuencia sin simbolos .
115 , abbbll =
2 Cordinal 2 .
E menta como cadena
Definición: **, It .
= :
conjunto de todes las cadenas incluyendo la vaca ,
sobre z .
It :
I 4a b4
=
*
{ <E a
,
b ab bb bab ac
,...
3
, , , , ,
* =
( ,
a
,
b
,
ab
,
bb
,
bab
,
ac
,...
3
↳ No en
* +
se
incluye
3 =
I U(24
Definición: Longitud de una cadena. IX) .
9a ,
by
191 =
0
;
la1 =
1
; lababl =
y
Si w
=
bac
,
entonces (W1= 3
Definición: Ocurrencia.
El simbolo a E diremos
que ocurre en la posición jésima de la cadena
we It si el j-eximo simbolo de c es a , y lo notalemos como
wijh= a ,
con <j</w1 .
:
en
Sea <a , b ch
=
NulLongitud
=
w131 (wic= 0
IWIc+IW1s+ Ila=
=
a
dem
Definición: Concatenación de cadenas.
, ,
si 1x
Ij) j<
E
+
,
b) xyij) =
y (j
-
xx)) , si j ix con
0<j'< /xy)
-> Ocurrencia .
La cadenc
y al quitarle x
Ex
=
x
-
Asociativa
. No conmutativa .
-
Nota Dadas tres cadenas
:
x
, y, z =Z
,
se
cumple que (xy1z =
x
(yz)
Pon tanto III: ,
es un monoide al ,
ser la concatinacion una
opeccion
interna asociativa con el elemento neutro
y
.
(4) c
xy
=
2 (a b cx abby caxy
abbea y(343 1
=
,
=
=
,
=
b
11 j</x) xy(2)
=
3
3 xy(1) a
xy(5) a
=
2
141
=
(xy1
-
=
b
=
(31
=
1 3 xy
=
.
Definición: Subcadena.
x
y
Nota : x,
y I
, pueden ser E
w
X
in i y
↳
jo E
Concatenamos XOy
= w
X y
xwy =
w
=
E) .
Definición: Sufijo.
Sean r
,
veIP, decimos
que o es
sufijo de to sii Ext[/w= xu .
-
X
Definición: Prefijo.
I decimos
Seau w, o
,
que v es
prefijo de w sii 1
-y =21w=vy .
-
y
Si es
prefijo spuede
,
ser
sufijo al mismo
tiempo ?
v
Si
v
Definición: Potencia de una cadena ( w). ne N
con =
I
no Si n>o
,
si (WI 0 WR w = >
No tiene simbolos es la misma
E
=
=
=> =
=
WR
.
Si IWKO = va con
y
=
cálculo recursivo .
Proposición:
Icoxy= yP x wR
xR is
R
secnoten => yRxR secnotenis
y
= =
-
-
Definición: Lenguaje.
[P
↳es un
lenguaje sobre [siiL - Nota lenguaje es malquier conjunto
:
. un
junto
*
Les una de I de cadenas sobre un
alfabeto I .
Finito o infinito
de cadenas
=>
conjunto uccio : conjunto -
cadenas
Sus elementos
no son
=>
ocurrencias del O
Tiene que tenen un nimero
impar de 0 .
Proposición:
Se
puede pone en
biyeccion con los N
!
-
Ordenawon .
I <a , b/ 04
Orden que hemos
=
0 As
an az
=>
decidido
-
↑ autes ?
.
I cual
var
II
22 123
i5 bbabc ->
A
22 219
ja bbbaa
m = 2 coinciden
,
ea primero cedenc i
,
.
2 Concepto de representación
sea alfabeto I y
un el
conjunto,
de todas las cadenas posibles sobre el
alfabeto Cualquier subconjunto
.
=>
de diremos que es un lenguaje sobre
↳
Conjunto potenic de [
->
conjunto finito de
signos no rano .
conjunto numerable,
>
cualquier subconjunto de un
es numerable .
↳ 1122411 =
's
Im =
Alfabeto matemático
L
--
-
=
(we(a , b) /(W1 =
2n con neNG --
Es una cadenc En
↳
Definicion de un
lenguaje .
25 simbolos.
E I Infinito numerable .
--
No
L sobre
Diremos que una cadena eI es una
representación de un
lenguaje
I existe /Sistema En 25
si una relacion SR de
representacion) incluida en
-
.
--
alfabeto matemático .
-> Un
lenguaje sodia
I
tenm varias representaciones , peo una
representación solo
representa un
lenguaje .
e
Si e es una
representacion de un
lenguaje L
,
entonces diremos que dicho
lenguaje es representable
.
Conjunto de todos los
lenguajes representables
L REP
. .
conjunto de
representaciones , al que notaremos REP siempre numerable
,
ser ,
pues REP
-
e
Cadenc sobne E
=
↳
2
2 4a, by
=
E ↳
2
- Alfabeto as ba
matemático ->
-
L REP
.
caac
· re
r
en
N
->
Lenguaje representado pon.
e
· -> *
- !
"
no
puede L REP
.
zr
representan lo
Representaciones Li
.
Saaa
equivalentes Lenguaje sobre[
13) =
cadenc que cumple con
, pero no
tieue representacion .
3 Cardinalidad, Representaciones y Lenguajes.
Una
representacion no es mas que una cadena sobre alfabeto In ly para
un
tenen representacion
Un lenguaje puede más de
=>
unc -
I
=
(a , by
sa4 saah ,
- , -
gal ,...
-
↳ cardinal de los L NOREP
.
11 L NOREP 11
.
=
A's
y
Alg ↳
L NOREP -> numerables ,
.
Son
hay
funcion biyectiva .
existen
Al
No
x
ejemplos
de L NOREP
.
4 Representación de Lenguajes
Definir un lenguage infinito (finito también) : L =
3wt [ +1P(w)}
Semencic finita de instrucciones finitas precisas Ino ambiguas) que aute ciento ,
un
finito ,
una
salida/respuesta/solucion .
·
Secuencia :
hay un orden .
Algoritmos :
siempre finitos .
.
Definición: Dispositivo reconocedor de lenguaje. Automatas .
Un
algoritmo conclusivo diseñado
para un
lenguaje (que contestc correctamente
reconocedor de L .
Si (WeL)
-
L
w -> ->
No (WEL)
D R
. .
Un sistema de
algoritmos conclusivos diseñado
para lenguaje que produce
un
todas
y
solo las cadenas de LSe denomina dispositivo generador de L .
-Yo
-> c"eL
D G
:
.
.
?
-
Todas las cadenas (A)
jabbabels
Contador 0 2 201 => Si
abbabeL1
cabbabbabetrate en e
aababbabab =L1
Algoritmos conclusivos
-
x .
-beL1
aabbabacabe eL1
--------
5 Concepto de gramática
Definición: Gramática.
-Tiene orden, no es un
conjunto .
no sabemos a
que alfabeto nos referimos
->
Disjuntos Si tenemos simbolos comunes ,
-
Vocabulario
>
It :
no
puede sel la cadena vaca .
Ut cadena vaca
:
puede sen la .
Definición: Producir directamente.
Sea una
gramática G (N,T P, S)
=
,
.
Si
Zer t tales que : Tiene que tend algen simbolo .
I
a) X = UzU .
H E E puede no tene simbolos (puede sel E) .
y
b)
y
=
u0 .
H B E Los prefijos y sufijos son los mismos .
dElzelEP conzertyer .
-> Podemos convertin z en .
- -
- -
X y
E
aBaCaab=>
L - en
ba caab
L-
U
U Z O
B v
aB - b eP
z -
Definición: Producir en n pasos.
producir directamente
y
-> Opasos
producin en un paso son
equivalentes .
x =
y =
x =
>y
x >
Ty -
x sy Cuando no nos interesa especifican el número de
pasos
,
=
=
Preciso No
ewso queremos saben que de una cadenc podemos legar
otra
a
enxpasos .
Definición: Producir.
->
Cualquier numno de
pasos .
(incluye Opasos) .
x >
=
y
=> V
+
x V ((x y)c =
,
Producir al
en meno un
paso .
Producir .
1 23 -
y
Axioma
Sea G =
IN , T, P , S) una
gramática .
el
c Puedo
Megan desde aniome a la cadena a ? I El axioma produces ?
Si - Forma sentencial .
Se dice que
y es
generada pon una
gramática G =
(N, T
,
P, 5) sit
15 >y)1(yc Tz)
=
↳
Galquie cadenc
generada
(Neantes
solo los
por
2 alfabetos terminales .
Definición: Lenguaje generado por una gramática.
, , ,
,
Sestan subconjunto de T
-
- -
S -
ETY
- . . . . . . . .--
Axioma
>
& Nunca obtenemos E
(0) =
<b, babab , ...
Sean G,
y Gr dos gramáticas ,
decimos que son equivalentes si ((G2)=LIG2) .
Son el mismo
lenguaje .
Gr= Gz
6 Clasificación de gramáticas
Se realiza en funcion de sus neglas producción
de
,
es dewn,
según los
elementos de P .
Regla de
produccion
↳
cambian simbolo cadena con
↳
puede pon
un una
se
al menos un simbolo
Definición: Regla de tipo 2 (de contexto libre).
simbolo .
- >
Es terminal
I 2
.
símbolos .
-> Es terminal
1 2
simbolos .
Definición: Regla regular terminal.
te
de
Itayreglas
↳ Incluido que
de manera
propra
NI
tanto de tipo c
portanto de tipo 1
y por
tanto
, y por ,
y ,
de tipo o
-y por ...
e
-> No
hay ningin tipo 3
que acabe en dos simbolos
Terminales consecuentes .
B- ESE _
Definición: Reglas.
con
- aBb
A
pueden hay algo son eT
E si
pero
.
sel ,
-
f
clasificación de
gramáticas en funcion de los tipos de
reglas definidos .
Isensible al contexto l .
Definición: Gramática de contexto libre (tipo 2). GCL.
Diremos que -
una
gramática es de contexto libre sii todas sus
reglas son de tipo 2
Ide contexto libel .
Dinemos gramática
que una es
regular derech (ORDI Si cade
reglas
una de sus
terminal GRE
GRD
es
regular detectc negular o
-
e n
- -
T
y ,
tanto no es
regular .
Definición: Gramática lineal. GL.
⑧
6LI0 GLD .
- ⑧
⑳
Definición: Regla épsilon.
Dada IN , T , P S) dinemos P
gramática
una G =
, que una
negla que pertenece a es una
6 =
IN ,
T P,
,
S) con N=354 ,
7=4a7 ,
p= 35- al
(16) (a) Es de todos los tipos
.
= =
.
el
1) Minamos axioma
y remos que reglc podemos aplical .
S =
> a
-Andimos un = Se a , es Se e
↳ Es solo de
tipo 0 .
Proposiciones.
Hay un s
pon cada
gramática .
las
gramáticas .
enguaje sin el E .
⑪IIIII
0
1
cuando genemos una G1
,
- sabemos que al
. 2
menos el
3
de L
eenguaje es
1 20 2 37
(puede sel
gramáticas tipo
.
varias de distinto
.
el mismo
pueden geneal lenguaje .
Gramáticas
Definición: Lenguaje lineal (L.lineanles).
-lenguaje generado por
cadenas de
adimos para ver lenguaje
el tipo de .
Es
generado
una
por
.
=>
-> Lineal
pero
no
regular .
↓ conjunto .
Se e
↳ Orden
alfabético .
(Infinito numerable) .
La
composicion de
biyecciones es una
biyeccion .
9 Preguntas básicas sobre los lenguajes
its
->
finito ?
Monotonas Recientes
*
⑧
-
- - Si la gramática regular
es ,
el
tambien son
aplicables a los lenguajes asi ques suponemos conocidas has operaciones
,
de union
,
interseccion , diferencia y complemento It =
E
*
-L .
Los
lenguajes son
conjuntos .
-
Todas las combinaciones, conmutativa
O
no .
-
-> Al concatenal o Iconjunto vaciol , obtenemos conjunto racio .
-
Asociativa
↳> Elemento neutro de concatenacion de lenguajes .
Distributiva
,
Lenguajes finitos -
Lenguajes infinitos
- LilzFlzh
Definición: Potencia de un lenguaje ( ↳Concatenan
). un
lenguaje consigo mismo .
- - >
Definición: Cierre o Estrella de Kleene.
asociativa
unione Concatenación de cadences todas de a
.
LOUL'ULYUL
...
- ,
- -
El
lenguaje no
tiene
porqué ser
fivito Puede sa
.
infinito .
Definición: Cierre estricto.
- No se añade el elemento
neutro E
puede estar
, peno .
↳ Tiene al codena
que haber
menos una .
Si E está incluido
>No tiene E
porque aparecer .
*
Lt =
L
Si E no está incluido
-
*
L F
Definición: Inverso de un lenguaje. de las cadenas
-Inversas
.
11 Cierre de los tipos de lenguaje
se muestric si cade tipo de
lenguaje es corado .
una mática=
Operaciones .
complementarios .
tod ↳ s