Preliminares lgicoalgebraicos

Autmatas

Estructura de
lenguajes de
programacin

Lic. Juan Mario Eguvar G.

darkfoxwolf@hotmail.com

Definiciones

Sea A={a, a, b, b,} un alfabeto

constituido por 2n letras emparejadas de a
dos; sea E la palabra vaca y sean las
relaciones de Thue:
a a ~ E, b b ~ E,

Una palabra X pertenece al lenguaje

restringido de Dick sobre A sii es equivalente
a la palabra vaca.
Anlogamente un lenguaje no restringido de
Dick se da por las relaciones:
a a ~ a a ~ E, b b ~ b b ~ E,

Ejemplos
abbacc

pertenece al lenguaje
restringido de Dick.
abbacc aEaE aa E
aabccb pertenece al lenguaje (no
restringido) de Dick.
aabccb aEbcE abc

1.3.3 Operaciones con los

lenguajes

Sea A un alfabeto y A* el monoide libre sobre

A, siendo los lenguajes formales sobre A las
partes de A*, se define el conjunto de las
partes
de
A*,
P(A*),
operaciones
conjuntistas:
Unin de lenguajes.
Interseccin de lenguajes.
Paso al complementario.
Producto de lenguajes.
Operacin de Kleene (u operacin estrella).
Operacin simetra.

Unin de lenguajes
Dados

L1 y L2, y representados por

L1 U L2, al conjunto de palabras que
pertenecen a uno por lo menos, de
los lenguajes.
Es conmutativa.
L1 U L2 = L2 U L1

Es

asociativa.

(L1 U L2) UL3 = L1 U (L2 U L3)

Interseccin de lenguajes
Dados

L1 y L2, y representados por

L1 L2, al conjunto de palabras que
pertenecen a uno por lo menos, de
los lenguajes.
Es conmutativa.
L1 L2 = L2 L1

Es

asociativa.

(L1 L2) L3 = L1 (L2 L3)

Paso al complemento
El

complemento de L, respecto a A*,

es el conjunto de palabras de A* que
no
pertenecen
a
L.
Lo
simbolizaremos: A* \L.
El propio A* (la parte completa de
A*)
es
un
lenguaje
cuyo
complemento es el lenguaje vacio.
NOTA: Un lenguaje que contenga la
palabra vaca E, no es vacio!

Ejemplo
A

= {a, b} y L = {am bn | m>=1,

n>=1}.
A* \L = L1 U L2 UL3
L1 representa al conjunto de
palabras que empiezan por b.
L2 al conjunto de las palabras que
empiezan por am bn a y
L3 = {a}*.

Producto de lenguajes
Tambin

denominado producto de
dos lenguajes se representa por L1
L2 al conjunto de palabras obtenidas
tomando una palabra de L1 y
concatenndola por la derecha con
una palabra de L2.
L1 L2 = {X1 X2 | X1 L1 y X2 L2}
No es producto cartesiano.
No es conmutativa pero si es
asociativa.

Ejemplos
Sea

A = {a, b, c}. Consideremos el

lenguaje {a} que contiene una sola
palabra:
El
monograma
a;
llamemos a, a ste lenguaje. As el
producto: {a} A* es el conjunto de
las palabras que empiezan por a.
De forma genrica: A A* es el
conjunto de las palabras que
empiezan por una letra de A, es
decir las palabras no vacas: A A* =

Operacin de Kleene (u
operacin estrella)
El

producto es una operacin

asociativa, resulta posible obtener
las posibles sucesivas potencias de
L: L2 = L L; L3 = (L L) L = L (L L); etc.
Consideremos
a
Stephen
Cole
KLEENE con la unin: {E} U L U L 2 U
L3 U U Ln U ; extendida a todas
las sucesivas potencias de L,
entonces es un lenguaje al que
simbolizaremos por L*.

Ejemplo

Consideremos el alfabeto: A = {a, b, }

como el lenguaje formado por palabras
monogramas. Entonces A2 es el conjunto de
digramas, A3 el conjunto de trigramas, etc.
Por tanto: {E} U A U A2 U A3 U es el
conjunto de todas las palabras sobre A, es
decir que es A*, dando a la estrella el
sentido de KLEENE.
NOTA: ste hecho explica la notacin
adoptada utilizada para simbolizar al
monoide libre.

Operacin simetra
Dado

L A*, se simboliza por L al

lenguaje obtenido tomando la
imagen simtrica de cada una de las
palabras de L: L = {X | X L}.
Esta operacin es involutiva (su
cuadrado es neutro):
L=L
Adems, queda ligada al producto
mediante la relacin:
LM = ML

Ejemplo
El

lenguaje A* A* coincide con A*,

puesto que A* = A* y E A*.

1.4. Ejercicios
1.4.1. Qu convenio implcito se ha
establecido al escribir, respecto a la
palabra vaca?
E = ?
Consulte un manual de Java y
examine el valor de una blanco en el
lenguaje.

1.4.2. Se puede concebir el decir

que un alfabeto A contiene una
letra vacia?

1.4.3. Sea el alfabeto: A = {a, b, c, x, , X}

Se considera la palabra: a X b X c x
Tiene sentido esta expresin si se
interpretan a, b, c, x como nombres de
nmeros, X como un signo de multiplicacin
y como igualdad?
La misma pregunta considerando a, b, c, x
como vectores libres del espacio Euclidiano
y X como el producto vectorial.
Qu
se
puede
concluir
de
esta
comparacin, en cuanto a la concatenacin?

1.4.4. Se considera un conjunto S =

{A, B, C, } dotado de una ley de
composicin (simbolizado por un
punto) en el cual se define una
equivalencia compatible por la
derecha y por la izquierda con esta
ley; es decir, una congruencia.

1.4.5. Se considera, para el alfabeto

{a, b, c}, el sistema siguiente de
relaciones: aa~E; bb~E; ab~ba.
Se puede resolver, en ste caso, el
problema
de
las
palabras?
Demostrar que el monoide de las
clases es isomorfo a un grupo de
naturaleza simple que habr que
caracterizar.

1.4.6. Sea el alfabeto {a, b, c}, y las

relaciones:
aaa~E(1);
ba~ab(2);
ca~ac(3).
Qu ocurre con las palabras
aabaca y abc?
De forma ms general, se puede
resolver, en el caso particular de
ste clculo, el problema de las
palabras?

1.4.7. Se consideran las palabras A,

B, C y D tales que: AB=CD y |A|<=|
C|; demostrar que existe una palabra
X tal que: C=AX y B=XD.

1.4.8. Se dice que una palabra M es

peridica para expresar que se
puede
obtener
concatenando
palabras idnticas, se llama motivo a
la palabra de menor longitud capaz
de engendrar M.
Se consideran dos palabras U y V
tales que UV=VU.
demostrar que U y V son peridicas
y que tienen el mismo motivo.

Se puede alcanzar una de las posibles

soluciones teniendo en cuenta las siguientes
indicaciones:
Demostrar que, para todo nmero entero, se
tiene: UU.VV=VV.UU
k veces L veces

L veces k veces

Introducir el mnimo comn mltiplo para el

grado de U y el grado de V, elegir k y
demostrar que U y V son peridicas. Precisar
lo que se pueda decir acerca del motivo.

1.4.9 1) Supongamos que las palabras A y

B tales que Am y Bn tengan en comn un
segmento
inicial
de
grado
|A|+|B|.
Demostrar que A y B son peridicas y de
igual motivo (utilizar el ejercicio anterior).
2) Deducir que si se verifica Am=Bn para
m>=1, A y B son peridicas y de igual
motivo.
3) Demostrar que si A no es vaca, existe
un nmero natural k y una palabra no
peridica (palabra primitiva) B, tal que A=B k.

1.4.10. Utilizando los ejercicios

anteriores, demostrar que si las
palabras primitivas (no peridicas) A
y B admiten dos potencias Am y Bn
que tienen en comn un segmento
inicial de grado |A|+|B|, se tiene que
A=B.

1.4.11. Discutir la ecuacin:

AX=XB

1.4.12. Dado un alfabeto A,

consideremos una funcin cuyos
argumentos constituyen el conjunto
de las palabras y cuyos valores
constituyen ste mismo conjunto o
pertenecen a l.
Se pretende que esta funcin defina
un endomorfismo para la estructura
monoide, dicho de otro modo:
(P.Q)= (P). (Q); donde .

Demostrar que viene determinada

por los valores que toma sobre el
conjunto
de
las
palabras
monogramas y describir algunas
sencillas de tales funciones.

1.4.13. Sea el alfabeto A={a, b} y las relaciones aaa~E;

bbbb~E; abb~bba; ababa~E; babab~E.
Podemos colocar las palabras en los nodos de un rbol, de
raz E, obtenido respetando el orden lexicogrfico, de la
forma siguiente:
aaa
aa aab
a aba
ab abb
E etc.
ba baa
b bab
bb bba
bbb

A
continuacin,
tachamos
las
palabras de la que ya haya escrito
un equivalente (ejemplo aaa~E; y
tambin bba~abb, etc.).
Representar las clases de forma
cannica y estudiar el monoide
cociente y el ncleo.

1.4.14. Las funciones consideradas

toman sus argumentos sobre el
monoide
libre
y
sus
valores
pertenecen a dicho monoide.
Hallar las funciones que posean la
propiedad: (P . Q) = [(P) . (Q)]
Se ha dado un ejemplo en la seccin
1.2.3.

1.4.15. Un solitario que se puede hacer

con un juego de 32 cartas es el siguiente:
Colocar las cartas en fila.
Si una carta queda colocada entre otras
dos que tengan el mismo palo o valor, se
la puede eliminar.
Si dos cartas del mismo valor o palo
quedan colocadas entre otras dos del
mimo palo o valor, se pueden eliminar.
Estudiar la teora de ste solitario.

Preliminares lgicoalgebraicos
Autmatas

Generalidades
sobre los sistemas
formales

Lic. Juan Mario Eguvar G.

darkfoxwolf@hotmail.com

Introduccin
Llegar

al concepto de sistema formal

e ilustrarlo, desde un punto de vista
formal, una variante del Clculo de
proposiciones.

2.1. Presentacin del clculo de

proposiciones
2.1.1. Proposiciones
D.

Gonzalo es un personaje del

Tenorio, Dos y dos son cinco:
Proposiciones. La primera es cierta o
verdadera; la segunda es falsa.
Llueve, El nmero natural n es
primo: Variables proposicionales,
pueden tomar el valor de verdadero
o falso.
Convencionalmente se representa el
valor verdadero por 1 y falso por

 Las

variables proposicionales son

booleanas.
El
Clculo de Proposiciones no
aborda el problema del anlisis de
proposiciones; considera manejarlas
y combinarlas mediante diversas
operaciones lgicas.
Se representar a las proposiciones y
a las variables con las letras: p, q,

2.1.2. Conjuncin
Dos

proposiciones o variables p y q
representadas por p ^ q.
Otras notaciones en lugar de ^ son:
&, ., and.
p

P^q

2.1.3. Disyuncin
p v q, al menos una de las dos
proposiciones es verdadera.
Otra notacin en lugar de v puede
ser +.
p
q
Pvq

2.1.4. Negacin
p,

su negacin corresponder
segn la tabla, otras notaciones son:
p, ~p, p.p
p
0

2.1.5. Implicacin
p

q.
No confundir el operador con
meta-implicacin .
p

pq

la

Ejemplo
P:

Napolen muri en Santa Elena.

Q: Viriato tena vigote.
p q toma el valor de q.
P: Dos y dos son cinco.
Q: 12 es un nmero primo.
p q toma el valor de 1.
La luna es un queso manchego.
17 es primo.
p q toma el valor de 1.

 P:

17 es primo.
Q: 16 es primo.
p q toma el valor de 0.
Regla de implicacin de Modus
Ponens.
Si p tiene el valor de 1 y p q tiene
el valor de 1, podemos concluir que
q tiene el valor de 1.

2.1.6. Equivalencia lgica

p

q.
p

p q

2.1.7. Clasificacin de las

expresiones lgicas
Sean

las variables proposicionales:

p, q, , en nmero finito o infinito y
formemos expresiones aplicando
sucesivamente las operaciones:
^
v

Ejemplo
(p

v q) ^ q
(p q) v (q p)
(p v p)
(p p)
(p ( q p))
Estas expresiones
tautologas.

se

denominan

Ejemplos
(p

^ p)

((p v p) ( p ^ p))
Son contradicciones o falacias.

Ejemplo

Si: r: ((p q) v (p ^ q))

p

La investigacin de las tautologas es

interesante ya que rinden en lgica los
mismos servicios que en lgebra las
identidades notables.

Ejemplo
(p

q) ( p q)
es una tautologa que se puede
demostrar por tablas de verdad y
est en base de la regla de
contraposicin.

Equivalencias tautolgicas
Se

escribir: r = s, para expresar que

la proposicin r s es una
tautologa, por ejemplo:
((p v q) v m) = (p v (q v m))
((p ^ q) ^ m) = (p ^ (q ^ m))
(p q) = ( p v q)
(p q) = (p q) ^ (q p)

2.1.8. Relaciones de A. de
Morgan
1)
2)
3)

4)
5)

Idempotencia: (r v r) = r
(r ^ r) = r
Conmutatividad: (r v s) = (s v r)
(r ^ s) = (s ^ r)
Asociatividad: r v (s v t) = (r v s) v
t
r ^ (s ^ t) = (r ^ s) ^ t
Absorcin:
(r v (r ^ s)) = r = (r ^
(r v s))
Distributividad: (r v (s ^ t)) = (r v s)

Tautologa y falacia: (r v r) =
Verdadero
(r ^ r) = Falso
7) Dualidad:
(r v s) = r ^ s
(r ^ s) = r v s
8) Involucin:
(r) = r
6)

2.1.9. Imagen conjuntista

Sea

una familia de conjuntos: P, Q,

, e interpretemos las variables
proposicionales: p, q, como:
x E P, x E Q, por tanto:
(p ^ q); x E P Q
(p v p); x E P U Q, etc.

Se

introduce un conjunto universal U

que contenga a P y Q, ; el conjunto
vacio

y
el
conjunto
complementario de U.

2.1.10. Variantes
Dar

un clculo equivalente utilizando

otras operaciones fundamentales.
La variante ms interesante es slo
con el uso de las operaciones: , .
(p q) = (p v q) y que p = p
Donde: (p v q) = (p q)

Ejercicios

a)
b)
c)
d)

1. Sean los enunciados: hace calor

= c, llueve = l, el aire es seco =
s; representar simblicamente:
Llueve y hace calor
Hace calor pero el aire no es seco
El aire es hmedo o hace calor
No llueve o el aire es seco

2. Suponiendo que la proposicin

hace frio y el aire es hmedo sea
verdadera, examinar el valor de
verdad
de
las
proposiciones
anteriores.

3. Siendo p: el mar est revuelto y q: el mar

se est levantando, traducir al castellano:
a) p ^ q
b) p ^ q
c) p ^ q
d) p v q
e) (p ^ q)
f) (p v q)
g) (p v q)
Utilizar estas traducciones para dar, cuando sea
posible, enunciados simblicos ms sencillos.

4. Siendo p el enunciado tengo un

tocadiscos y q tengo discos,
traducir y simplificar:
(p v q) ^ p

5. A partir de dos variables o

expresiones construya p W q que
corresponde al o exclusivo.
p

pWq

6. La misma pregunta para

operacin
de
Sheffer
incompatibilidad.
p

p|q

la
o

7. Comprobar las equivalencias

tautolgicas:
p = p | p
(p v q) = (p | p) | (q | q)
(p ^ q) = (p | q) | (p | q)

(p q) = p | (q | q)

2.2. La nocin de sistema

formal
Est

precedida por la teora

axiomtica.
Los Elementos de Euclides estaban
parcialmente axiomatizados, pero el
punto de vista axiomtico no queda
plenamente formulado hasta finales
del siglo XIX.

2.2.1. Teora axiomtica

La

coherencia lgica de una teora

matemtica es una cosa y su
adecuacin a la descripcin de algn
modelo fsico es otra.
Supongamos que existan unos entes
llamados puntos, rectas y planos;
escriba Davis Hillbert en sus
Grundlagen, en lugar de puntos,
rectas y planos tambin podramos
llamarles mesas, sillas y vasos de

1.1. Una recta es un conjunto de

puntos.
1.2.
Dos
puntos
cualesquiera
determinan una recta a la cual
pertenecen.
1.3. Dos puntos que pertenecen a una
recta determinan dicha recta.
1.4. Sobre toda recta hay, al menos,
dos puntos.
1.5. Por lo menos, existen tres puntos

partir de los axiomas, se deducen

los teoremas, por ejemplo:
Teorema: Dos rectas distintas tienen,
como mximo, un punto comn.
Al punto de vista de los sistemas
formales, el propio concepto de
regla lgica contiene algo de un
axioma.

2.2.2. Metalenguaje
Es

necesario utilizar alguna lengua

de comunicacin, la cual deber
contener los nombres de los entes,
relaciones, etc.; por ejemplo:

Ejemplo
Sistema

formal: A = {a, b, c}; con

concatenacin.
Las
palabra como: abaca; en
comillas especiales; o tales palabras
A, B, , etc.
Concatenando: A=abaca y B=ba;
se tiene: A.B=abacaba (dualidad de
equivalencia).

 La

reunin de la lengua de
comunicacin
con
los
signos
especiales permite describir el
sistema formal.
Los
smbolos
metalingsticos
estarn definidos como frases o
abreviaciones.

Ejemplo
A

= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, +, -}
permiten
definir
conjuntos
de
palabras de nmeros enteros sin
signo y nmeros enteros.
Par formular las reglas de formacin
de una variable metalingstica C
cuyos valores pertenecen al conjunto
{0, 1, , 9}; ESS = nmeros
enteros sin signo y E = nmeros
enteros; por ltimo el signo ::=.

 Regla

1: [ESS]::=[C]|[ESS][C]

[ESS]::=3
[ESS]::=35

Regla

2: [E]::= [ESS]|+[ESS]|-[ESS]

[E]::=-35

 Imaginemos

el alfabeto de un
sistema formal que contenga la letra
^ y la regla: Si A y B son palabras
del tipo , la palabra A . ^ . B es una
palabra del tipo

2.2.3. Sintaxis y
significacin
Un sistema formal se concibe como la
imagen idealizada de alguna otra cosa
una teora- formaliza la teora de la que
constituye la sintaxis, mientras que la
teora es la interpretacin de un sistema.
La cuestin de la adecuacin del sistema
formal a la teora es un problema de
metodologa cientfica cuyo estudio exige
ser llevado racionalmente pero puede
desbordar el marco matemtico.

2.3.

Una variante
proposiciones
2.3.1. Alfabeto

formalizada

del

clculo

de

Existe un conjunto numerable de entes

matemticos abstractos que constituyen un
alfabeto
abstracto.
Los
entes
estn
en
correspondencia biunvoca con los smbolos
grficos que constituyen el alfabeto:
A = {], [, ,, a1, ,an,}
Donde: ] y [ pertenecen al metalenguaje.
} y { parntesis formales.
negacin formal.
implicacin formal.
ai nombres de objetos elementales
llamados
tomos que constituyen el conjunto numerable.

2.3.2. Frmulas

De A*, vamos a aislar una parte que represente

a las frmulas abstractas.
Las reglas relativas al conjunto F (frmulas):
F1 Todo tomo es una frmula.
F2 Si la palabra X es una frmula, la palabra X

tambin es una frmula.

F3 Si las palabras X e Y son frmulas, la palabra
[XY] es una frmula.
F4 Toda frmula se obtiene a partir de tomos
aplicando un cierto nmero de veces los
procedimientos F2 y F3.

X e Y son variables metalingsticas.

Ejemplo
a1

es una frmula segn F1.

a2 es una frmula segn F1.
[a1 a2] es una frmula segn F3.
[a1 a2] es una frmula segn F2.
a3 es una frmula segn F1.
[a1 a2 | a3] es una frmula segn
F3 y la observacin anterior.

 Se

puede construir el conjunto de

frmulas por grado creciente.
Las frmulas de grado 1 son los
tomos y no existe la anulacin; por
lo
tanto,
todas
las
frmulas
contienen como mnimo un tomo.
Las frmulas de grado 2 son:
a1, a2, , an,
Las frmulas de grado 3 son:
a1, a2, , an,

Las frmulas de grado 4 son:

a1, a2, , an,
Las frmulas de grado 5 son:
a1, a2, , an,
[a1a1], [a1a2], , [apan], , etc.
Por tanto, dada una palabra PEA*, si no
tiene ningn tomo, no es frmula; caso
contrario se podrn construir todas las
frmulas de grado menor o igual a P y
adems P es una de las frmulas.

Ejemplo
[[

no es frmula porque no hay tomos.

[a2a2] es una frmula ya que a partir de a 2 se
puede construir:

a2
a2
a2
a2
a2, [a2a2]
a2
[a2a2]
[a2a2], [a2a2]

2.3.3. Conjunto de las tesis

primitivas

Considerar otro lenguaje formal incluido en el

anterior y al que denominaremos conjunto de
las tesis.
Las tesis correspondern a tautologas en la
construccin no formal.
Se define primero tesis primitivas mediante
convenios, siendo X, Y, Z frmulas, donde:
T1 [X[YX]]
tesis primitiva.
T2 [[XY] [YX]] tesis primitiva.
T3 [[X[YZ]] [[ XY] [XZ]] tesis primitiva.
T4 Toda tesis primitiva es de la forma T1, T2 T3

 Si

se consideran las tesis como

axiomas, las expresiones como parte
del metalenguaje, son esquemas de
axiomas.
Dada una palabra P, se puede
decidir si es tesis primitiva o no.

2.3.4. Comentarios acerca de la

eleccin de las tesis primitivas
T1 es cuasi paradjico de la implicacin
y T2 interviene en la contraposicin, ya
que es evidente: (p) = p
Y es indiferente escribir: [XY] [YX],
o [YX] [ XY].
No resulta lo mismo cuando no se apela
desde el principio al concepto.
T3 es cmoda tcnicamente.
Con tesis primitivas se forman tesis, a
priori con un regla de deduccin.

2.3.5. Regla de deduccin

Si:

las palabras X y [XY] son tesis, la

palabra Y tambin es una tesis.
Las
tesis
necesariamente
son
frmulas.
Como un comentario se dir que se
defini la regla de separacin
(modus ponens).

2.3.6. Ejemplos de
deduccin

[a1a1] y [XX] son tesis y se construir una

tesis en la que se pueda separar [a 1a1]:
(1) a1 es una frmula en virtud de F1.
(2) La palabra [a1a1] simbolizada por P es
una frmula en virtud de (1) y F3.
(3) La palabra [a1M], es una frmula en
virtud de (1), (2) y F3.
(4) La palabra [a1M] es tesis por (1) y T1.
(5) La palabra [a1[Ma1]] es tesis en virtud
de (1), (2) y T1.

(6) La palabra:
[a1[Ma1]] [[a1 M] [a1a1]]

es tesis por (1), (2) y T3.

(7) La parte derecha es una tesis en

virtud de Modus Ponens.
(8) [a1a1] es tesis en virtud de (4),
(7) y del modus ponens.
Del
mismo
modo
se
podra
demostrar que: X y [XX] es un tesis.

2.3.7. Conclusin
Se

formaliza
el
clculo
de
proposiciones y la lgica del buen
sentido.

2.4. Definicin de los sistemas

formales
Se

va a sistematizar de manera
dogmtica los visto o insinuado .

2.4.1. Sistemas formales

Un sistema logstico es una estructura
matemtica definida por agregacin de
cuatro conjuntos: S = (X, F, A, R)
X es un alfabeto numerable.
F es un lenguaje formal sobre X, un
conjunto de frmulas y que cumple: FX*.
A es un subconjunto de F, conjunto de
axiomas y que puede definirse mediante
esquemas de axiomas.
R es un conjunto de reglas de deduccin.

2.4.2. Reglas de deduccin

Consideremos el producto F x x F con n factores

(n>=1), y los elementos son las n-tuplas
ordenadas de frmulas.
Una regla de deduccin R permite corresponder a
alguna de las n-tuplas (y1, y2, yn) una cierta
frmula nica x.
Precisando, una regla R viene definida por un
subconjunto del producto cartesiano F x x F y
su dominio es una parte de F.
(y1, y2, yn) son los antecedentes, x el
consecuente y las frmulas los argumentos de la
regla.

2.4.3. Casos particulares

Puede

ocurrir que X sea finito, que F

coincida con X* y que slo se tenga
un axioma: ste ser el caso de los
sistemas combinatorios.
Es posible que no haya axiomas,
siendo A vaco: Es el caso de los
algoritmos de Markov.

2.4.4. Deducibilidad

Sea: = (f1, f2, fk) una k-tupla ordenada de

frmulas.
Si existe una regla R y una frmula x tales que se
tenga Rx, se dice que x es una consecuencia
inmediata de .
El conjunto R de las relaciones de deduccin
define la relacin de deducibilidad inmediata. Se
escribir Rx sii existe una relacin R, tal que
sea Rx. Dicha relacin viene definida por el
producto cartesiano del conjunto de las
sucesiones de frmulas por el conjunto de
frmulas.

 Considere

todas las sucesiones

obtenidas tomando las realizaciones
de elementos de o de los axiomas:
Se obtendr un conjunto E0 de
frmulas.
Considere todas las consecuencias
inmediatas
de
las
sucesiones
formadas con la ayuda de E0 y
unmoslas a E0: Se obtiene un

 Si

se contina as toda frmula y

obtenida de sta frmula es una
consecuencia de . Eligiendo una
sucesin de frmulas que permitan
pasar de a y, se obtiene una
deduccin de y a partir de .
Se escribir Sy, sii y es deducible
de en S.

Observaciones
a)

b)

c)
d)

no interviene ms que por sus

elementos y no por la ordenacin de sus
elementos; el conjunto de elementos de
se llama conjunto de premisas.
Si un conjunto contiene a los
elementos de y si Sy, es evidente
que Sy puede aadir premisas.
La deducibilidad inmediata implica
deducibilidad.
Toda frmula se deduce de s misma.

2.4.5. Tesis del sistema

Son

frmulas deducibles a partir de

un solo axioma.
Propiedad: Son deducibles de todo
conjunto de premisas comprendido
el conjunto nulo.
Se simplifica:
Sy
por:
Sy

Ejercicios
1)

Probar
que
la
deducibilidad
inmediata implica la deducibilidad y
que toda frmula se deduce de s
misma.

2)

Se define un sistema formal que

tenga el mismo alfabeto, el mismo
conjunto de frmulas y la misma
regla de deduccin que el sistema
construido para explicar el Clculo
de proposiciones.
Los esquemas axiomas son:
T1 [X[YX]
T2 [[X[YZ]] [[X Y] [XZ]]]
T3 [X[XY]]

3)

Reconocer si las frmulas siguientes

son tesis o no lo son:
(1) [[YZ] [[X Y] [XZ]]]
(2) [X [[X Y] Y]]
(3) [[XY] [Y Z] [XZ]]

4)

En el prrafo 2.3.1. se consider un

alfabeto infinito. Demostrar que se
puede modificar la definicin de tal
manera que el alfabeto sea finito.

5)

En el prrafo 2.2.1. se dio algunos axiomas

relativos a los conceptos de punto y de recta.
Apoyndose en consideraciones semnticas,
es decir, haciendo intervenir el contenido, o
sea, la realizacin de un sistema, concluir que
el axioma dos puntos que pertenecen a una
recta determinan dicha recta no es una
consecuencia del axioma dos puntos
cualesquiera determinan una recta a la cual
pertenecen.

Para ello, se empezar a sustituir la

palabra punto por la palabra
chisme y la palabra recta por la
palabra cosa. Despus se buscar
una interpretacin de un chisme y de
una cosa que verifique el axioma
enunciado en segundo lugar sin
cumplir el enunciado en primer
lugar.

Preliminares lgicoalgebraicos
Autmatas

Sistemas
combinatorios

Lic. Juan Mario Eguvar G.

darkfoxwolf@hotmail.com

3.0. Introduccin
Son

sistemas formales de naturaleza

particular. Intervienen en el estudio
de mecanismos que ponen en juego
problemas de tipo combinatorio,
afectando de forma particular a las
palabras de un monoide libre.
Consideremos un monoide libre:
A = {ai | 1<=i<=n}
E es la palabra vaca y |A| el grado
de la palabra A.

3.1. Definicin de los sistemas

combinatorios
3.1.1. Producciones

Se
introduce
sistemticamente
una
orientacin a las reglas.
Se define de forma general un sistema
combinatorio mediante pares de palabras:
(G;G)
escritas con el auxilio de A.
Por ejemplo una palabra X que presenta en
su primera parte una realizacin de una
palabra P (eventualmente vaca), seguida
de la palabra G, seguida de Q, se escribir:

X = PGQ
El par (G;G) define la sustitucin de
G por G, para obtener la palabra:
Y = PGQ

Ejemplo
A es el alfabeto latino.
G = li G=c
X=alientoY=acento
No se ha modificado a
corresponde a P, ni ento
corresponde a Q.

que
que

El par (G,G) proporciona un esquema

de produccin y se simboliza:
PGQ PGQ
(1)
a una produccin particular asociada
por P y Q. Entonces: Y=PGQ es una
consecuencia de la palabra X=PGQ,
respecto a la produccin (1).
PGQ PGQ
(2)
que es la produccin inversa de (1).

A veces se simboliza de manera

idntica:
PGQ PGQ
(1 bis)
El esquema de produccin considera
P y Q como variables lingsticas
toman valores dentro de ciertos
conjuntos de palabras.

3.1.2. Definiciones
Para definir un sistema combinatorio:
1. A finito del sistema y B auxiliar para
escribir las producciones.
2. Una palabra especial, no vaca,
llamada axioma del sistema.
3. Un nmero finito de esquemas de
produccin.
Un sistema combinatorio es un
sistema formal donde:

 Todas

las palabras sobre A y sobre

AUB, son frmulas.
El conjunto de tesis primitivas se
reduce a una sola palabra, el
axioma.
Las reglas de deduccin vienen
dadas por las producciones.

3.1.3. Producciones de tipo

particular
Se

pueden definir a partir de un par

(G,G) y son de diversos tipos.
Del nombre Thue se obtiene el
adjetivo
Thueiano
y
las
producciones son:
PGQ PGQ ; GE
Se llamaran semithueianas y sus
inversas:
PGQ PGQ
Tambin seithueianas.

G G, se puede asociar: GP
PG, donde P es una variable.
Tales
producciones
se
llaman
normales y sus inversas: PG GP,
antinormales.
Estas ltimas producciones realizan
no slo un reemplazamiento sino
tambin una permutacin.
En cualquier caso: GGE.
Si:

Ejemplo
Sea:

G = to y G = rial.
El esquema normal GP PG genera:
P = mate
tomate material
El esquema antinormal PG GP da:
material tomate

3.1.4. Sistemas
particulares
Un sistema semithueiano no implica ms
que producciones semithueianas.
Un sistema thueiano
es un sistema
semithueiano que, para toda produccin
contenida en l, su inversa est tambin
contenida en l.
Un sistema normal no implica ms que
producciones normales.
Un
sistema de post implica slo
producciones normales y sus inversas.

3.1.5. Ejemplos de sistemas

thueianos
Ejemplo

1:
A = {a, b}
B = {s}
El axioma es la palabra s.
Dos producciones semithueianas:
s ab (1)
s asb (2)
La palabra s tiene como consecuencia
asb aasbb aaasbbb aaaaasbbbb;
esta ltima no admite consecuencia.

 En

forma de rbol:
s
s
s
s
a a a a b b b b
Si introdujramos la produccin:
aabb ba (3); ya no se podra
desarrollar el rbol.

Ejemplo 2
Se emplear la terminologa: vocabulario por
alfabeto, frase por palabra, etc.
El vocabulario del sistema:
r = {el, un, nio, albaricoque, coge, come}
Los smbolos:
FR = frase.
GN = grupo nominal.
GV = grupo verbal.
AR = artculo.
NO = nombre.
VE = verbo.
El axioma del sistema es la secuencia FR.

Las producciones semithueianas son:

FR GN GV (1)
GN AR NO (2)
GV VE GN (3)
AR el (4)
AR un (4)
NO nio (5)
NO albaricoque (5)
VE coge (6)
VE come (6)

AR
El

nio

FR
GN
GV
VE
GN
NO
AR
coge un

La frase no admite ms
consecuencias.

NO
albaricoque

Ejemplo 3
El alfabeto es {s, b, c}; el axioma es s; las
producciones semithueianas son:
s sb(1)
s c (2)
cbb bbs (3)
Debido a la produccin (3), no es posible
representar cualquier sucesin de palabras que
deriven unas de otras mediante un rbol.
Pero resulta legtimo representarlo mediante un
grafo orientado la aparicin de las palabras
sucesivas.
Entonces: (1) izquierda, (2) derecha y (3) abajo.

s
sb

sbb cb
sbbb cbb
sbbbb

cbbb bbs

Etc.bbab etc.
Etc.

3.1.6. Demostracin Teoremas

Sea: un sistema combinatorio y
sea:
X1, X2, , Xm (),
una serie finita de palabras, en la
que X1 es el axioma del sistema y
cada Xj, 1<j<=m, una consecuencia
Xj-1 respecto a una produccin de .
Diremos que la serie () es una
demostracin en y que la ltima
palabra de () es un teorema de .

La
palabra
singular,
origen
de
toda
demostracin se llama axioma del sistema.
El paso de Xj-1 a Xj constituye un paso de la
demostracin.
En lugar de demostracin de un teorema
diremos derivacin de una palabra (de una
frase si el conjunto se llama vocabulario).
A veces se demuestra una proposicin que
afecta a todas las palabras de cierta clase.
Llamaremos a tal proposicin un metateorema
que se expresa en un metalenguaje.

Ejemplo 1
El primer ejemplo de la seccin
3.1.5.
La proposicin todas las palabras
des sistema que no contengan a la
letra s se obtienen concatenando
una
palabra
compuesta
por
realizaciones de a, con la palabra de
igual longitud compuesta por las
realizaciones de b; por tanto es un
metateorema.

Ejemplo 2
El tercer ejemplo de la seccin 3.1.5.
Una proposicin como existe en
ste sistema una infinidad de
teoremas
que
admiten
dos
demostraciones
es
un
metateorema.

3.1.7. Sistemas
mongenos
Un

sistema
combinatorio
es
mongeno para expresar que cada
teorema admite, como mximo, una
consecuencia
respecto
a
las
producciones des sistema.
La monogenia excluye:
X sea descomponible de dos formas

distintas en PGQ y PGQ.

Exista en dos producciones cuyos
miembros
de
la
izquierda
sean

Ejemplo 1
El ejemplo de la seccin 3.1.5 no era
mongeno ya que la palabra s admite en el
dos consecuencias distintas: ab y asb.
El sistema con alfabeto {a, b, c}, con
alfabeto auxiliar {s, t, u}, con axioma s y
producciones: s atb
atb aaubb
uc
Es un sistema mongeno que no comprende
ms que un nmero finito de teoremas.

Ejemplo 2
El sistema con alfabeto {a, b, s}, con
axioma s y produccin s asb es
un
sistema
mongeno
que
comprende infinidad de teoremas.

3.1.8. Ambigedad
Consideremos

dos
distintas
demostraciones de un teorema si se
diferencian en las palabras que
contienen o en su orden o ambas
cosas.
La palabra final (frase final) de una
demostracin es ambiga si de ella
existen,
al
menos,
dos
demostraciones distintas.

Ejemplo
En

la seccin 3.1.5. (ejemplo 3) se

mostr una situacin de ste tipo.
Otro ejemplo:
A = {a, b, c, s}
Axioma: s.
Producciones: s as
(1)
s sb
(2)
s asb
(3)
sc
(4)

El teorema es ambigo.
Elabore y grafique al menos dos
demostraciones diferentes.

3.2. Sistemas normales

3.2.0. Sistema normal
Viene definido por:
A = {ai | 1 <= i <= n}
Un axioma A.
V producciones normales (esquemas
de producciones): {GjP PGj | 1 <=
i <= V}
Donde: A, Gj y Gj son plabras del
monoide libre generado por A.

Ejemplo
Sea el alfabeto {a, b}, el axioma es
a y los esquemas de producciones
son:
aP Pbba
(1)
bP Paba
(2)
Demostrando:
a bba baaba