Taller MMIN Nro.

13
Jeisson Steban Casallas Rozo

Sistemas Formales - Herencia

Para cada uno de los sistemas formales especificados a continuación, encuentre un
invariante de este sistema formal (una propiedad que tengan todos los teoremas) y
demuéstrela usando el principio de herencia.

Sistema formal:
Alfabeto {I, M}, variables {x, y}.
Axioma: IMIII
Regla: xMy-->xIMIIyII

 Teniendo en cuenta los datos obtenidos al usar la regla, podemos darnos cuenta que
el número de I’s a la derecha es el cuádruple menos 1 de I’s a la izquierda.

Izquierd Derecha
De la forma xMy: a
1 3
Nro. l (y)= 4 ∙ Nro. l (x) - 1 2 7
3 11
4 15
El axioma:

 lMlll de la forma xMy, donde x= l y= lll

Comprobación Axioma
Nro. l (x) = Nro. l (l)=1
3 (4 x 1) -1
Nro. l (y) = Nro. l (lll)=3 3 4–1
3 3
La Regla:

 xMy de la forma xMy

Nro. l (y) = 4 ∙ Nro. l (x) -1

xMy -> xlMllyll

 Nro. l (xl)= Nro. l (x) +1

 Nro. l (llyll) = Nro. l (y) + 4

= 4 ∙ Nro. l (x) -1 + 4
= 4 ∙ Nro. l (x) + 3

 Nro. l (llyll) = 4 ∙ Nro. l (xl) -1

4 ∙ Nro. l (x) + 3 = 4 ∙ (Nro. l (x) +1) - 1
4 ∙ Nro. l (x) + 3 = 4 ∙ Nro. l (x) + 4 - 1
4 ∙ Nro. l (x) + 3 = 4 ∙ Nro. l (x) + 3

Sistema formal:
Alfabeto {I, M}, variables {x, y}.
Axioma: IMIII
Regla: xMy-->xIMyIII

 Teniendo en cuenta los datos obtenidos al usar la regla, podemos darnos cuenta que
el número de I’s a la derecha es el triple de I’s a la izquierda.

Izquierda Derecha
De la forma xMy 1 3
2 6
Nro. l (y) = 3 ∙ Nro. l (x) 3 9
4 12
El Axioma:

 lMlll de la forma xMy, Donde x= l y=lll

Nro. l (x) = Nro. l (l) = 1 Comprobación Axioma

3 3x1
Nro. l (y) = Nro. l (lll) = 3 3 3

La Regla:

 xMy de la forma xMy

Nro. l (y) = 3 ∙ Nro. l (x)

xMy -> xlMylll

 Nro. l (xl) = Nro. l (x) + 1

 Nro. l (ylll) = Nro. l (y) +3

= 3 ∙ Nro. l (x) + 3

 Nro. l (ylll) = 3 ∙ Nro. l (xl)

3 ∙ Nro. l (x) + 3 = 3 ∙ ( Nro. l (x) + 1)
3 ∙ Nro. l (x) + 3 = 3 ∙ Nro. l (x) + 3
Sistema formal:
Alfabeto {I, M}, variables {x, y}.
Axioma: IIIMI
Regla: xMy-->xIMyxxII

 Analizando el cómo aumenta el número de l’s tanto a la izquierda como a la derecha,

podemos ver que no podríamos encontrar una propiedad que sea capaz de relacionar
tanto el axioma, como la regla.
Izquierd Derecha
a
3 1
4 9
5 19
6 31