Preliminares lógico-algebraicos

Autómatas

Lic. Juan Mario Eguívar G.

darkfoxwolf@hotmail.com
 Sea A={a, a’, b, b’,…} un alfabeto constituido por
2n letras emparejadas de a dos; sea E la palabra
vacía 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
vacía.
 Análogamente un lenguaje no restringido de
Dick se da por las relaciones:
 a a’ ~ a’ a ~ E, b b’ ~ b’ b ~ E, …
 abb’a’cc’ pertenece al lenguaje restringido de
Dick.
abb’a’cc’  aEa’E  aa’  E
 a’ab’cc’b pertenece al lenguaje (no
restringido) de Dick.
a’ab’cc’b  a’Eb’c’E  a’b’c’
 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:
 Unión de lenguajes.
 Intersección de lenguajes.
 Paso al complementario.
 Producto de lenguajes.
 Operación de Kleene (u operación estrella).
 Operación simetría.
 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)
 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)
 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
vacía E, ¡no es vacio!
 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}*.
 También denominado producto de dos
lenguajes se representa por L1 L2 al conjunto
de palabras obtenidas tomando una palabra
de L1 y concatenándola 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.
 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 genérica: A A* es el conjunto de las
palabras que empiezan por una letra de A, es
decir las palabras no vacías: A A* = A* \ {E}.
 El producto es una operación 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
unión: {E} U L U L2 U L3 U … U Ln U … ;
extendida a todas las sucesivas potencias de
L, entonces es un lenguaje al que
simbolizaremos por L*.
 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 notación
adoptada utilizada para simbolizar al
monoide libre.
 Dado L ⊂ A*, se simboliza por L al lenguaje
obtenido tomando la imagen simétrica de
cada una de las palabras de L: L = {X | X Є L}.
 Esta operación es involutiva (su cuadrado es
neutro):
L=L
 Además, queda ligada al producto mediante
la relación:
LM = ML
 El lenguaje A* A* coincide con A*, puesto que
A* = A* y E Є A*.
1.4.1. ¿Qué convenio implícito se ha
establecido al escribir, respecto a la palabra
vacía?
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 expresión si se interpretan a,
b, c, x como nombres de números, X como un
signo de multiplicación 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 comparación, en
cuanto a la concatenación?
1.4.4. Se considera un conjunto S = {A, B, C,
…} dotado de una ley de composición
(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 más general, ¿se puede resolver, en
el caso particular de éste cálculo, 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 periódica
para expresar que se puede obtener
concatenando palabras idénticas, 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 periódicas y que
tienen el mismo motivo.
Se puede alcanzar una de las posibles soluciones
teniendo en cuenta las siguientes indicaciones:
Demostrar que, para todo número entero, se
tiene: U…U.V…V=V…V.U…U
k veces L veces L veces k veces
Introducir el mínimo común múltiplo para el
grado de U y el grado de V, elegir k y
demostrar que U y V son periódicas.
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 común un
segmento inicial de grado |A|+|B|. Demostrar
que A y B son periódicas y de igual motivo
(utilizar el ejercicio anterior).
2º) Deducir que si se verifica Am=Bn para
m>=1, A y B son periódicas y de igual motivo.
3º) Demostrar que si A no es vacía, existe un
número natural k y una palabra no periódica
(palabra primitiva) B, tal que A=Bk.
1.4.10. Utilizando los ejercicios anteriores,
demostrar que si las palabras primitivas (no
periódicas) A y B admiten dos potencias Am y
Bn que tienen en común un segmento inicial
de grado |A|+|B|, se tiene que A=B.
1.4.11. Discutir la ecuación:

AX=XB
1.4.12. Dado un alfabeto A, consideremos
una función φ cuyos argumentos
constituyen el conjunto de las palabras y
cuyos valores constituyen éste mismo
conjunto o pertenecen a él.
Se pretende que esta función defina un
endomorfismo para la estructura monoide,
dicho de otro modo: φ(P.Q)= φ(P). φ(Q);
donde “.” representa la concatenación.
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
raíz E, obtenido respetando el orden lexicográfico, de la
forma siguiente:
aaa
aa aab
a aba
ab abb
E etc.
ba baa
b bab
bb bba
bbb
A continuación, tachamos las palabras de la
que ya haya escrito un equivalente (ejemplo
aaa~E; y también bba~abb, etc.).
Representar las clases de forma canónica y
estudiar el monoide cociente y el núcleo.
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 sección 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 teoría de éste solitario.
Preliminares lógico-algebraicos
Autómatas

Lic. Juan Mario Eguívar G.

darkfoxwolf@hotmail.com
 Llegar al concepto de sistema formal e
ilustrarlo, desde un punto de vista formal, una
“variante” del Cálculo de 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 número 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 “0”.
 Las variables proposicionales son booleanas.
 El Cálculo de Proposiciones no aborda el
problema del “análisis de proposiciones”;
considera manejarlas y combinarlas mediante
diversas operaciones lógicas.
 Se representará a las proposiciones y a las
variables con las letras: p, q, …
 Dos proposiciones o variables p y q
representadas por p ^ q.
 Otras notaciones en lugar de ^ son: “&”, “.”,
“and”.
p q P^q
0 0 0
0 1 0
1 0 0
1 1 1
 p v q, al menos una de las dos proposiciones
es verdadera.
 Otra notación en lugar de “v” puede ser “+”.
p q Pvq
0 0 0
0 1 1
1 0 1
1 1 1
 ¬p, su negación corresponderá según la tabla,
otras notaciones son: p, ~p, ¬p.
p ¬p
0 1
1 0
 p ‫ כ‬q.
 No confundir el operador ‫ כ‬con la meta-
implicación →.
p q p‫כ‬q
0 0 1
0 1 1
1 0 0
1 1 1
 P: Napoleón murió en Santa Elena.
 Q: Viriato tenía vigote.
p ‫ כ‬q toma el valor de q.
 P: Dos y dos son cinco.
 Q: 12 es un número 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 implicación 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.
 p ≡ q.
p q p ≡q
0 0 1
0 1 0
1 0 0
1 1 1
 Sean las variables proposicionales: p, q, …, en
número finito o infinito y formemos
expresiones aplicando sucesivamente las
operaciones:
^
v
¬
‫כ‬
≡
 (p v q) ^ q
(p ‫ כ‬q) v (q ‫ כ‬p)
 (p v ¬p)
(p ‫ כ‬p)
 (p ‫( כ‬q ‫ כ‬p))…
 Estas expresiones se denominan
“tautologías”.
 (p ^ ¬p)
 ((p v ¬p) ‫( כ‬p ^ ¬p))
 Son “contradicciones” o “falacias”.
 Si: r: ((p ‫ כ‬q) v (p ^ q))

p q r
1 1 1
1 0 0

La investigación de las tautologías es interesante ya

que rinden en lógica los mismos servicios que en
álgebra las identidades notables.
 (¬p ‫¬ כ‬q) ‫( כ‬p ‫ כ‬q)
es una tautología que se puede demostrar
por tablas de verdad y está en base de la regla
de contraposición.
 Se escribirá: r = s, para expresar que la
proposición r ≡ s es una tautología, 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)
1) Idempotencia: (r v r) = r
(r ^ r) = r
2) Conmutatividad: (r v s) = (s v r)
(r ^ s) = (s ^ r)
3) Asociatividad: r v (s v t) = (r v s) v t
r ^ (s ^ t) = (r ^ s) ^ t
4) Absorción: (r v (r ^ s)) = r = (r ^ (r v s))
5) Distributividad: (r v (s ^ t)) = (r v s) ^ (r v t)
(r ^ (s v t)) = (r ^ s) v (r ^ t)
6) Tautología y falacia: (r v ¬r) = Verdadero
(r ^ ¬r) = Falso
7) Dualidad: ¬(r v s) = ¬r ^ ¬s
¬(r ^ s) = ¬r v ¬s
8) Involución: ¬(¬r) = r
 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.
 Dar un cálculo equivalente utilizando otras
operaciones fundamentales.
 La variante más interesante es sólo con el uso
de las operaciones: ¬, ‫כ‬.
 (p ‫ כ‬q) = (¬p v q) y que ¬¬p = p
 Donde: (p v q) = (¬p ‫ כ‬q)
 1. Sean los enunciados: “hace calor = c”,
“llueve = l”, “el aire es seco = s”; representar
simbólicamente:
a) “Llueve y hace calor”
b) “Hace calor pero el aire no es seco”
c) “El aire es húmedo o hace calor”
d) “No llueve o el aire es seco”
2. Suponiendo que la proposición “hace frio y
el aire es húmedo” 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 simbólicos más 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 q pW q
0 0 0
0 1 1
1 0 1
1 1 0
6. La misma pregunta para la operación de
Sheffer o incompatibilidad.

p q p|q
0 0 1
0 1 1
1 0 1
1 1 0
 7. Comprobar las equivalencias tautológicas:
 ¬p = p | p
 (p v q) = (p | p) | (q | q)
 (p ^ q) = (p | q) | (p | q)
 (p ‫ כ‬q) = p | (q | q)
 Está precedida por la teoría axiomática.
 Los “Elementos” de Euclides estaban
parcialmente axiomatizados, pero el punto
de vista axiomático no queda plenamente
formulado hasta finales del siglo XIX.
 La coherencia lógica de una teoría
matemática es una cosa y su adecuación a la
descripción de algún modelo físico es otra.
 Supongamos que existan unos entes
llamados puntos, rectas y planos; escribía
Davis Hillbert en sus Grundlagen, en lugar de
puntos, rectas y planos también podríamos
llamarles mesas, sillas y vasos de cerveza.
 Lo esencial reside en los axiomas:
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 que no
pertenecen a una misma recta.
 A partir de los axiomas, se deducen los
teoremas, por ejemplo:
Teorema: Dos rectas distintas tienen, como
máximo, un punto común.
 Al punto de vista de los sistemas formales, el
propio concepto de “regla lógica” contiene
algo de un axioma.
 Es necesario utilizar alguna lengua de
comunicación, la cual deberá contener los
nombres de los entes, relaciones, etc.; por
ejemplo:
 Sistema formal: A = {a, b, c}; con
concatenación.
 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 reunión de la lengua de comunicación con
los signos especiales permite describir el
sistema formal.
 Los símbolos metalingüísticos estarán
definidos como frases o abreviaciones.
 A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, +, -} permiten
definir conjuntos de palabras de “números
enteros sin signo” y “números enteros”.
 Par formular las reglas de formación de una
variable metalingüística C cuyos valores
pertenecen al conjunto {0, 1, … , 9}; ESS =
números enteros sin signo y E = números
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 θ“
 Un sistema formal se concibe como la imagen
idealizada de alguna otra cosa – una teoría-
formaliza la teoría de la que constituye la
sintaxis, mientras que la teoría es la
interpretación de un sistema.
 La cuestión de la adecuación del sistema
formal a la teoría es un problema de
metodología científica cuyo estudio exige ser
llevado racionalmente pero puede desbordar
el marco matemático.
 Existe un conjunto numerable de entes matemáticos
abstractos que constituyen un alfabeto abstracto. Los
entes están en correspondencia biunívoca con los
símbolos gráficos que constituyen el alfabeto:
A = {], [, ¬,‫כ‬, a1,… ,an,…}
Donde: ] y [ pertenecen al metalenguaje.
} y { paréntesis formales.
¬ negación formal.
‫ כ‬implicación formal.
ai nombres de objetos elementales
llamados átomos que constituyen el
conjunto numerable.
 De A*, vamos a aislar una parte que represente a
las fórmulas abstractas.
 Las reglas relativas al conjunto F (fórmulas):
 F1 Todo átomo es una fórmula.
 F2 Si la palabra X es una fórmula, la palabra ¬X
también es una fórmula.
 F3 Si las palabras X e Y son fórmulas, la palabra [X‫כ‬Y]
es una fórmula.
 F4 Toda fórmula se obtiene a partir de átomos
aplicando un cierto número de veces los
procedimientos F2 y F3.
 X eY son variables metalingüísticas.
 a1 es una fórmula según F1.
 a2 es una fórmula según F1.
 [a1 ‫ כ‬a2] es una fórmula según F3.
 [a1 ‫ כ‬a2] es una fórmula según F2.
 a3 es una fórmula según F1.
 [a1 ‫ כ‬a2 | ‫ כ‬a3] es una fórmula según F3 y la
observación anterior.
 Se puede construir el conjunto de fórmulas
por grado creciente.
 Las fórmulas de grado “1” son los átomos y
no existe la anulación; por lo tanto, todas las
fórmulas contienen como mínimo un átomo.
 Las fórmulas de grado “2” son:
¬a1, ¬a2,… , ¬an,…
 Las fórmulas de grado “3” son:
¬¬a1, ¬¬a2,… , ¬¬an,…
 Las fórmulas de grado “4” son:
¬¬¬a1, ¬¬¬a2,… , ¬¬¬an,…
 Las fórmulas de grado “5” son:
¬¬¬¬a1, ¬¬¬¬a2,… , ¬¬¬¬an,…
 [a1‫כ‬a1], [a1‫כ‬a2], …, [ap‫כ‬an], …, etc.
 Por tanto, dada una palabra PEA*, si no tiene
ningún átomo, no es fórmula; caso contrario
se podrán construir todas las fórmulas de
grado menor o igual a P y además P es una de
las fórmulas.
 ¬[[ no es fórmula porque no hay átomos.
 [a2‫כ‬a2] es una fórmula ya que a partir de a2 se
puede construir:
 a2
 ¬a2
 ¬¬a2
 ¬¬¬a2
 ¬¬¬¬a2, [a2‫כ‬a2]
 ¬¬¬¬¬a2
 ¬[a2‫כ‬a2]
 [¬a2‫כ‬a2], [a2‫¬כ‬a2]
 Considerar otro lenguaje formal incluido en el
anterior y al que denominaremos conjunto de las
tesis.
 Las tesis corresponderán a tautologías en la
construcción no formal.
 Se define primero tesis primitivas mediante
convenios, siendo X,Y, Z fórmulas, donde:
 T1 [X‫[כ‬Y‫כ‬X]] tesis primitiva.
 T2 [[¬X‫כ‬Y]‫[ כ‬Y‫כ‬X]] tesis primitiva.
 T3 [[X‫[כ‬Y‫כ‬Z]] ‫[[ כ‬X‫כ‬Y]‫[ כ‬X‫כ‬Z]] 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.
 T1 es “cuasi paradójico de la implicación” y T2
interviene en la contraposición, ya que es
evidente: ¬(¬p) = p
 Y es indiferente escribir: [¬X‫¬כ‬Y]‫[ כ‬Y‫כ‬X], o
[Y‫כ‬X] ‫¬[ כ‬X‫¬כ‬Y].
 No resulta lo mismo cuando no se apela
desde el principio al concepto.
 T3 es cómoda técnicamente.
 Con tesis primitivas se forman tesis, a priori
con un regla de deducción.
 Si: las palabras X y [X‫כ‬Y] son tesis, la palabra
Y también es una tesis.
 Las tesis necesariamente son fórmulas.
 Como un comentario se dirá que se definió la
regla de separación (modus ponens).
 [a1‫כ‬a1] y [X‫כ‬X] son tesis y se construirá una
tesis en la que se pueda separar [a1‫כ‬a1]:
(1) a1 es una fórmula en virtud de F1.
(2) La palabra [a1‫כ‬a1] simbolizada por P es
una fórmula en virtud de (1) y F3.
(3) La palabra [a1‫כ‬M], es una fórmula en
virtud de (1), (2) y F3.
(4) La palabra [a1‫כ‬M] es tesis por (1) y T1.
(5) La palabra [a1‫[כ‬M‫כ‬a1]] es tesis en virtud de
(1), (2) y T1.
(6) La palabra:
[a1‫[כ‬M‫כ‬a1]]‫[[ כ‬a1 ‫כ‬M]‫[ כ‬a1‫כ‬a1]]

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

 (7) La parte derecha es una tesis en virtud de
Modus Ponens.
(8) [a1‫כ‬a1] es tesis en virtud de (4), (7) y del
modus ponens.
 Del mismo modo se podría demostrar que: X
y [X‫כ‬X] es un tesis.
 Se formaliza el “cálculo de proposiciones” y la
“lógica del buen sentido”.
 Se va a “sistematizar” de manera dogmática
los visto o insinuado .
 Un sistema logístico es una estructura
matemática definida por agregación de
cuatro conjuntos: S = (X, F, A, R)
 X es un alfabeto numerable.
 F es un lenguaje formal sobre X, un conjunto
de fórmulas y que cumple: F⊂X*.
 A es un subconjunto de F, conjunto de
axiomas y que puede definirse mediante
esquemas de axiomas.
 R es un conjunto de reglas de deducción.
 Consideremos el producto F x… x F con n
factores (n>=1), y los elementos son las n-tuplas
ordenadas de fórmulas.
 Una regla de deducción R permite corresponder
a alguna de las n-tuplas (y1, y2,… yn) una cierta
fórmula ú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 fórmulas los argumentos de la
regla.
 Puede ocurrir que X sea finito, que F coincida
con X* y que sólo se tenga un axioma: Éste
será el caso de los sistemas combinatorios.
 Es posible que no haya axiomas, siendo A
vacío: Es el caso de los algoritmos de Markov.
 Sea: Ф = (f1, f2,… fk) una k-tupla ordenada de
fórmulas.
 Si existe una regla R y una fórmula x tales que se
tenga ФRx, se dice que x es una consecuencia
inmediata de Ф.
 El conjunto R de las relaciones de deducción
define la relación de deducibilidad inmediata. Se
escribirá Ф Rx sii existe una relación R, tal que
sea ФRx. Dicha relación viene definida por el
producto cartesiano del conjunto de las
sucesiones de fórmulas por el conjunto de
fórmulas.
 Considere todas las sucesiones obtenidas
tomando las realizaciones de elementos de Ф
o de los axiomas: Se obtendrá un conjunto E0
de fórmulas.
 Considere todas las consecuencias
inmediatas de las sucesiones formadas con la
ayuda de E0 y unámoslas a E0: Se obtiene un
conjunto E1.
 Si se continúa así toda fórmula y obtenida de
ésta fórmula es una consecuencia de Ф.
Eligiendo una sucesión de fórmulas que
permitan pasar de Ф a y, se obtiene una
deducción de y a partir de Ф.
 Se escribirá Ф╞Sy, sii y es deducible de Ф en
S.
a) Ф no interviene más que por sus elementos
y no por la ordenación de sus elementos; el
conjunto de elementos de Ф se llama
conjunto de premisas.
b) Si un conjunto ψ contiene a los elementos
de Ф y si Ф╞Sy, es evidente que Ф╞Sy puede
añadir premisas.
c) La deducibilidad inmediata implica
deducibilidad.
d) Toda fórmula se deduce de sí misma.
 Son fórmulas deducibles a partir de un solo
axioma.
 Propiedad: Son deducibles de todo conjunto
de premisas comprendido el conjunto nulo.
 Se simplifica:
Ф╞Sy
por:
├ Sy
1) Probar que la deducibilidad inmediata
implica la deducibilidad y que toda fórmula
se deduce de sí misma.
2) Se define un sistema formal que tenga el
mismo alfabeto, el mismo conjunto de
fórmulas y la misma regla de deducción que
el sistema construido para explicar el Cálculo
de proposiciones.
Los esquemas axiomas son:
T1 [X‫[כ‬Y‫כ‬X]
T2 [[X‫[כ‬Y‫כ‬Z]]‫[[ כ‬X ‫כ‬Y]‫[ כ‬X‫כ‬Z]]]
T3 [¬X‫[כ‬X‫כ‬Y]]
3) Reconocer si las fórmulas siguientes son
tesis o no lo son:
(1) [[Y‫כ‬Z]‫[[ כ‬X ‫כ‬Y]‫[ כ‬X‫כ‬Z]]]
(2) [X‫[[ כ‬X ‫כ‬Y]‫ כ‬Y]]
(3) [[X‫כ‬Y]‫[ כ‬Y ‫כ‬Z]‫[ כ‬X‫כ‬Z]]
4) En el párrafo 2.3.1. se consideró un alfabeto
infinito. Demostrar que se puede modificar
la definición de tal manera que el alfabeto
sea finito.
5) En el párrafo 2.2.1. se dio algunos axiomas
relativos a los conceptos de punto y de recta.
Apoyándose en consideraciones semánticas, es
decir, haciendo intervenir el contenido, o sea, la
realización 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”. Después se
buscará una interpretación de un chisme y de
una cosa que verifique el axioma enunciado
en segundo lugar sin cumplir el enunciado en
primer lugar.
Preliminares lógico-algebraicos
Autómatas

Lic. Juan Mario Eguívar G.

darkfoxwolf@hotmail.com
 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 vacía y |A| el grado de la
palabra A.
 Se introduce sistemáticamente una
orientación 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 realización de una palabra
P (eventualmente vacía), seguida de la
palabra G, seguida de Q, se escribirá:
 X = PGQ
 El par (G;G) define la sustitución de G por G,
para obtener la palabra:
Y = PGQ
A es el alfabeto latino.
G = ‘li’ G=‘c’
X=‘aliento’ Y=‘acento’
No se ha modificado ‘a’ que corresponde a P,
ni ‘ento’ que corresponde a Q.
El par (G,G) proporciona un esquema de
producción y se simboliza:
PGQ  PGQ (1)
a una producción particular asociada por P y
Q. Entonces: Y=PGQ es una consecuencia de
la palabra X=PGQ, respecto a la producción
(1).
PGQ  PGQ (2)
que es la producción inversa de (1).
A veces se simboliza de manera idéntica:
PGQ  PGQ (1 bis)
El esquema de producción considera P y Q
como variables lingüísticas toman valores
dentro de ciertos conjuntos de palabras.
 Para definir un sistema combinatorio:
1. A finito del sistema y B auxiliar para escribir
las producciones.
2. Una palabra especial, no vacía, llamada
axioma del sistema.
3. Un número finito de esquemas de
producción.
Un sistema combinatorio es un sistema
formal donde:
 Todas las palabras sobre A y sobre AUB, son
fórmulas.
 El conjunto de tesis primitivas se reduce a una
sola palabra, el axioma.
 Las reglas de deducción vienen dadas por las
producciones.
 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 ; G≠E
Se llamaran semithueianas y sus inversas:
PGQ  PGQ
También seithueianas.
 Si: 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 sólo
un reemplazamiento sino también una
permutación.
 En cualquier caso: GG≠E.
 Sea: G = ‘to’ y G = ‘rial’.
 El esquema normal GP  PG genera:
P = ‘mate’
‘tomate’  ‘material’
 El esquema antinormal PG  GP da:
‘material’  ‘tomate’
 Un sistema semithueiano no implica más que
producciones semithueianas.
 Un sistema thueiano es un sistema
semithueiano que, para toda producción
contenida en él, su inversa está también
contenida en él.
 Un sistema normal no implica más que
producciones normales.
 Un sistema de post implica sólo producciones
normales y sus inversas.
 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 introdujéramos la producción: aabb ba
(3); ya no se podría desarrollar el árbol.
Se empleará la terminología: vocabulario por
alfabeto, frase por palabra, etc.
El vocabulario del sistema:
r = {el, un, niño, albaricoque, coge, come}
Los símbolos:
FR = frase.
GN = grupo nominal.
GV = grupo verbal.
AR = artículo.
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  niño (5)
NO  albaricoque (5)
VE  coge (6)
VE  come (6)
 FR
GN GV
VE GN
AR NO AR NO

El niño coge un albaricoque

La frase no admite más consecuencias.

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 producción (3), no es posible
representar cualquier sucesión de palabras que
deriven unas de otras mediante un árbol.
Pero resulta legítimo representarlo mediante un
grafo orientado la aparición de las palabras
sucesivas.
Entonces: (1) izquierda, (2) derecha y (3) abajo.
 s
sb c
sbb cb
sbbb cbb
sbbbb cbbb bbs
Etc. bbab etc.
Etc.
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 producción
de Г.
Diremos que la serie (Σ) es una demostración
en Г y que la última palabra de (Σ) es un
teorema de Г.
La palabra singular, origen de toda
demostración se llama axioma del sistema.
El paso de Xj-1 a Xj constituye un paso de la
demostración.
En lugar de demostración de un teorema
diremos derivación de una palabra (de una frase
si el conjunto se llama vocabulario).
A veces se demuestra una proposición que
afecta a todas las palabras de cierta clase.
Llamaremos a tal proposición un metateorema
que se expresa en un metalenguaje.
El primer ejemplo de la sección 3.1.5.
La proposición “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.
El tercer ejemplo de la sección 3.1.5.
Una proposición como “existe en éste
sistema una infinidad de teoremas que
admiten dos demostraciones” es un
metateorema.
 Un sistema combinatorio es monógeno para
expresar que cada teorema admite, como
máximo, una consecuencia respecto a las
producciones des sistema.
 La monogenia excluye:
 X sea descomponible de dos formas distintas en
PGQ y P’G’Q’.
 Exista en Г dos producciones cuyos miembros de
la izquierda sean precisamente PGQ y P’G’Q’.
El ejemplo de la sección 3.1.5 no era
monógeno 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
uc
Es un sistema monógeno que no comprende
más que un número finito de teoremas.
El sistema con alfabeto {a, b, s}, con axioma
‘s’ y producción s  asb es un sistema
monógeno que comprende infinidad de
teoremas.
 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
demostración es ambigüa si de ella existen, al
menos, dos demostraciones distintas.
 En la sección 3.1.5. (ejemplo 3) se mostró una
situación de éste tipo.
 Otro ejemplo:
A = {a, b, c, s}
Axioma: s.
Producciones: s  as (1)
s  sb (2)
s  asb (3)
sc (4)
El teorema es ambigüo.
Elabore y grafique al menos dos
demostraciones diferentes.
 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.
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