Tarea de sistemas Formales

Preparado por: Luis Daniel Benavides Navarro, Ph.D.

20-4-2018

1. El sistema formal MIU se describe a continuación:

𝛴 = {𝑀, 𝐼, 𝑈}
Axiomas: MI
Considerando 𝜙, 𝜓 cadenas de 𝛴 ∗ las reglas son:
𝜙𝐼 𝑀𝜙 𝜙𝐼𝐼𝐼𝜓 𝜙𝑈𝑈𝜓
𝑅1 𝑅2 𝑅3 𝑅1
𝜙𝐼𝑈 𝑀𝜙𝜙 𝜙𝑈𝜓 𝜙𝜓

a. Demuestre que las siguientes formulas son teoremas de MIU

i. MIU
ii. MIUIUIUIU
iii. MUIIIIU
b. Demuestre que la cantidad de apariciones de I en un teorema de MIU
nunca es múltiplo de 3.
c. ¿Es MU un teorema de MIU?

2. Considere el sistema formal definido de la siguiente manera:

𝛴 = {𝐵, 𝑁}
Axiomas: 𝐵
Considerando 𝜙, 𝜓 cadenas de 𝛴 ∗ las reglas son:
𝜙𝑁𝜓 𝜙𝑁𝜓 𝜙𝐵𝜓 𝜙𝐵𝜓
𝑅1 𝑅2 𝑅3 𝑅4
𝜙𝑁𝐵𝜓 𝜙𝐵𝑁𝜓 𝜙𝐵𝐵𝜓 𝜙𝑁𝑁𝜓

a. Demuestre que las siguientes fórmulas son teoremas del sistema

i. BBBB
ii. BBNBN
iii. BBBNNBNBN
b. Demuestre que la cantidad de apariciones de N en los teoremas del sistema
formal es par.
3. Un físico tiene partículas de tres tipos A, B, C. Cuando dos partículas se encuentran
se pueden combinar de acuerdo a ciertas reglas de la naturaleza. Dos partículas A
forman una partícula B. Una partícula B y una partícula C forman una partícula A.
Una partícula B y una partícula A forman una partícula C. Inicialmente en un
reactor se tienen 5 partículas A, 4 partículas B, y 6 partículas C.
a. Describa un sistema formal para modelar la combinación de partículas.
b. Encuentre algunos teoremas, intente reducir el máximo la cantidad de
partículas en el reactor.
c. Intente encontrar algún invariante en los teoremas del sistema. Es decir,
una propiedad que se aplica a todos los teoremas.
4. Diseñe un problema similar al anterior para sus compañeros de MMIN del próximo
semestre. Puede usar partículas, amebas, microbios.
a. Plantee el enunciado
b. Resuélvalo