1

19-IV-2007









2
Sistemas asociativos y el problema de las
palabras
Recursin
Sistemas axiomaticos
Sistemas de Semi-Thue
Tipos de Gramticas y tipos de lenguajes
Autmatas

3
El problema de las palabras
Dado un alfabeto, una palabra o hilera es
una sucesin de smbolos del alfabeto.
Se permite transformar unas palabras en
otras mediante ciertas sustituciones entre
sus caracteres que se dan como
admisibles (reglas)
Existen sustituciones orientadas () y no
orientadas ()
4
Clculo asociativo
Un clculo asociativo es el conjunto de todas las
palabras formadas a partir de un alfabeto y de un
conjunto de sustituciones admisibles

Dos palabras son contiguas si una puede transformarse
en otra mediante una sustitucin
Una cadena deductiva p
1
, p
2
,, p
k
es una secuencia
de palabras contiguas entre s. Cada p, es contigua a
p
i+1
, y viceversa.
Dos palabras (sean o y |) son equivalentes syss existe
una cadena deductiva que partiendo de o da lugar a | .

5
El problema de las palabras es el de determinar si son o
no equivalentes cualesquiera dos palabras de un clculo
asociativo

(En general se trata del problema de la bsqueda de
Teseo en el laberinto o bsqueda en un laberinto infinito)
Estudiado inicialmente por Marlov y Navikov

En general el problema de las palabras no tiene
solucin.
Localizar invariantes o propiedades que no se alteran en
el transcurso de las palabras de las cadenas deductivas
permite en ciertas ocasiones encontrar algoritmos que
dan con la solucin
6
Ejemplo
b acc
ca accc
aa |
bb |
cccc |

bacb es
equivalente a ccac?

Detectar invariantes
facilita la solucin.
Distintas
representaciones
(a= simetra respecto al eje
vertical, b= simetra
respecto al eje horizontal,
c= giro de 90)

7
Clculo asociativo de Tseitin
Alfabeto {a,b,c,d,e}
acca
ad da
bc cb
bd db
abac abace
eca ae
edb be

Simple problema sin
solucin
Si la longitud de las
palabras no variase el
problema de las
palabras seria
solucionable al
tratarse de un
conjunto finito

_____________________________________________Trajtenbrot
8
Def de Sistema axiomtico
Un sistema axiomtico viene determinado por
un alfabeto, un conjunto de axiomas y un
conjunto de relaciones o reglas de produccin:
triple ordenado <A,S,P>
A::= Alfabeto,
conjunto finito de smbolos
S::= Axiomas
Ciertas hileras o palabras realizadas sobre A
P::= conjunto de relaciones sobre A*
Relaciones de grado n, 2sn.
Palabras elegidas de C
1
xC
2
x.. C
n
siendo cada C
i
= A*
9
Una hilera se sigue de
Dada una regla de produccin de P de grado n
(una relacin de n palabras o hileras)
(x
1
, x
2
,., x
n
)
decimos que x
n
se sigue de (x
1
, x
2
,., x
n-1
).

Dicho de otra forma:
(x
1
, x
2
,., x
n-1
) x
n
.
10
Derivacin o prueba

Dado un sistema axiomtico <A,S,P>, una
secuencia de palabras y
1
, y
2
. , y
m
es
una derivacin o prueba de y
m
syss y
i
(1si<m) es un axioma o se sigue de las
anteriores aplicando reglas de P.

La hilera y
m
es un teorema del sistema


11
Ejemplo: palabras especulares
(capicas) bajo {a,b}
Definicin recursiva:
1) aaeC . bb eC
2) x(x eC ) ((axa eC) . (bxb eC))
3) C slo contiene las palabras formadas
mediante las reglas 1 y 2.
1 es la base y 2 el paso o grado de recursin
12
Ejemplo: palabras especulares
(capicas) bajo {a,b}
Mediante sistema axiomtico <A,S,P>,

A= {a,b}
S= {aa,bb}
P= {(x,y)eA
*
A
*
| (y=axa) v (y=bxb) }

13
s.a. para todas las frmulas del
clculo proposicional
A= { ., v, , , , p, ', ), ( }

S= {px| xe {' }
*
}

P= {(x, x), (x,y,(x v y)), (x,y,(x . y)),
(x,y,(x y)), (x,y,(x y)) } siendo x e y
palabras de A
*
14
Sistema axiomtico extendido
(s.a.e)
Cudrupla de elementos <A
A
, A
T
, S, P>
El alfabeto se divide en dos conjuntos disjuntos (A
A
A
T
= |)
A
A
es un conjunto finito de smbolos: alfabeto auxiliar
A
T
es un conjunto finito de smbolos: alfabeto terminal o
bsico
S es un conjunto de palabras pertenecientes a (A
A
A
T
)*
P es un conjunto de relaciones de grado n (n>1) entre
palabras pertenecientes a (A
A
A
T
)*
.En un s.a.e. se distingue entre derivacin y prueba: Una prueba da
lugar a un teorema (palabra sobre (A
T
)* .



15
Ejemplo: palabras palndromes, capicas o
especulares bajo {a,b} con s.a.e.
Mediante sistema axiomtico extendido <A
A
, A
T
,
S, P>
A
A
= M
A
T
= {a,b}
S = { M }
P = {oM| oaMa|
oM| obMb|
oM| oaa|
oM| obb| }
siendo o y | palabras sobre (A
A
A
T
)*



16
s.a.e. para el clculo proposicional
A
A
= {E, F}
A
T
= { ., v, , , , p, ', ), ( }
S= {F}

P= { (oF| o(F)| ) ,
(oF| o(F.F)| ) ,
(oF| o(F v F)| ) ,
(oF| o(F F)| ) ,
(oF| o(F F)| ) ,
(oF| oE| ) ,
(oE| oE'| ) ,
(oE| op| ) }


siendo o y | palabras de (A
A
A
T
)*
17
Sistemas de Semi-Thue
Un sistema de semi-Thue es un s.a.e. <A
A
, A
T
, S, P> en
el que las relaciones de P son binarias y de la forma:
(ox| oy|)
o,|,x,y son palabras que pertenecen a (A
A
A
T
)*

(se transforma x en y)

Para cualquier s.a.e., existe un sistema de semi-Thue equivalente

[ Se dice que el sistema es de Thue si para alguna de las reglas
(ox| oy|) se tiene tambin su inversa (oy| ox|)
es decir, se tienen reglas de la forma
(ox| oy|)
]

18
Gramticas formales y autmatas
Las gramticas proceden de los sistemas de
semi-Thue.

Para distinguir los alfabetos suele utilizarse V
N
y
V
T
.(vocabulario no-terminal y vocabulario
terminal) en lugar de A
A
y A
T
.
V = V
N
V
T
y
V
N
V
T
= |.
Una gramtica tiene un nico axioma
G= < V
N
, V
T
.{F}, P>

19
Se sigue de
i

i+1
.
Derivacin de
n

i
*
n
.
x es cadena terminal syss F* x y x eV
T
*

Lenguaje de una gramtica G, L(G), es el
conjunto de todas las cadenas terminales
de G


20
Tipos de gramticas
Se clasifican las gramticas segn sean las restricciones a sus
reglas

Gramtica tipo 0.
Sin restricciones, es decir, sistemas de reescritura o de semi-Thue

Tipo 1: Toda regla es de la forma
(ox| ow|) ,
o,x,|,w pertenecen a {V
N
V
T
}* y
w no puede ser la cadena nula

Un smbolo no terminal se reescribe como una cadena no-nula
Otra definicin: (ox| ow|) y |x|s |w|,
(x se reescribe como w en el contexto o_|)

Tambin denominada sensible al contexto (cgs)

21
Gramtica tipo 2 o libre de contexto (cfg)
Reglas de la forma (o |) ,
|o| s ||| y |o| =1

Gramtica tipo 3 o regular:
Las reglas son de la forma A xB o
A x
AeV
N
, BeV
N
, x e{V
T
}*.
Las reglas dan lugar a una cadena de smbolos terminales seguido
de un no-terminal, o bien dan lugar a una cadena de smbolos
terminales

(subgupo de las denominadas lineales)
22
Relacin de inclusin entre
gramticas

Toda gramtica del tipo_n es tambin una gramtica del
tipo_(n-i), para isn,
Pero no siempre la inversa, hay gramticas del tipo_n
que no son del tipo_(n+1)

Toda gramtica de tipo 3 es una gramtica de tipo 2, del
tipo 1 y del tipo 0
Toda gramtica del tipo 2 es tambin del tipo 1y del 0
Toda gramtica del tipo 1 es del tipo 0.

G
3
c G
2
c G
1
c G
0
.
23
Ejemplo
G= < V
N
, V
T
.{S}, P>
V
N
= {S,A,B,C}, V
T
= {a,b,c}
P= { S ABC
A aA
A a
B Bb
B b
BC Bcc
ab ba }
24
Lenguajes
Un lenguaje es del tipo-n syss hay un
gramtica del tipo-n que lo genera.

Tendremos lenguajes tipo 0,1,2 y 3.

25
Dificultad de clasificar un lenguaje
Para determinar el tipo de gramtica solo
se tiene que rastrear la estructura de las
reglas.

Determinar el tipo de lenguaje es mas
complejo ya que debe determinarse el
tipo-n de gramtica que lo genera y
tambin que no lo genera una gramtica
tipo_n+1.
26
Los lenguajes tipo-0 tambin se
denominan (re) series recursivamente
enumerables


Lenguajes tipo 3 o series regulares
27
Gramticas y rboles

28
_______________________