1

El sistema MIU
Douglas R. Hofstadter

Facultad de Ingeniería en Sistemas de Información, Ingeniería en Sistemas,

<Autómatas y Lenguajes Formales>, Universidad Mariano Gálvez
Ciudad de Guatemala, Guatemala

Disán Ottoniel Aldana Saquic daldanas@umg.edu.gt

Jose Anias Borja Perez jborjap@umg.edu.gt

Juan Carlos Urcuyo Garcia jurcuyog@umg.edu.gt

Abstracto- Este párrafo favor de mantener en negrita
con justificación completa de ambos lados de
columna. Este párrafo debe de mantenerse en este
estilo y fuente (Times New Roman 11 Negrita). Esta
secciones, abstracto, suelen no tener ninguna
referencia o pies de página.
I. INTRODUCCIÓN
En este proyecto se dará una reseña de lo que es el
Sistema MIU. El rompecabezas MU es un rompecabezas
establecido por Douglas Hofstadter y encontrado en
Gödel, Escher, Bach involucra un sistema formal simple
llamado "MIU". La motivación de Hofstadter es
contrastar el razonamiento dentro de un sistema formal
(es decir, derivar teoremas) con el razonamiento sobre el
sistema formal en sí. MIU es un ejemplo de un sistema
Post canónico y puede reformularse como un sistema de
reescritura de cadenas.
II. DESARROLLO DE CONTENIDOS
A. Sistemas formales
Los sistemas formales son un artificio matemático
compuesto de símbolos que se unen entre sí formando
cadenas que a su vez pueden ser manipuladas según
reglas para producir otras cadenas, también son aquellos
que se apoyan en definiciones fijas. Llamamos
formalización al acto de crear un sistema formal, con la
que pretendemos capturar y abstraer la esencia de
determinadas características del mundo real, en un
modelo conceptual expresado en un determinado
lenguaje formal. [1]
el suspenso, digamos que esa cadena será MI. Serán
establecidas determinadas reglas, cuya aplicación
permitirá transformar una cadena en otra distinta. Si
alguna de tales reglas es utilizable en cierto momento y
desea aplicarla, no hay inconveniente en hacerlo, pero no
habrá nada que indique cuál regla es adecuada en caso de
que sean varias las utilizables.
El requisito principal, obviamente, es que no se debe
proceder al margen de las reglas. Lo primero por decir a
propósito de nuestro sistema formal -el sistema MIU- es
que emplea sólo tres letras del alfabeto: M, I, U, esto
significa que las cadenas del sistema MIU estarían
formadas exclusivamente por esas tres letras.
Para referirnos a las cadenas, emplearemos las siguientes
convenciones: si aparecen en la misma tipografía que el
resto de texto, serán añadidas mediante comillas simples
o dobles. La puntuación que corresponda a la frase y no a
la cadena de que se hable, estará ubicada fuera de las
comillas, como el lógico. Por ejemplo, la primera letra de
esta oración es “P”, mientras que la primera letra de ‘esta
oración’ es “e”. Sin embargo, cuando la cadena aparezca
en otra tipografía, no se usarán comillas, a menos que sea
imprescindible por razones de claridad. Por ejemplo, la
primera letra de OTRA es “o”.
MU
UIM
MUUMUU
UIIUMIUUIMUIIUMIUU

Pese a que todas las precedentes son cadenas legítimas,

B. ¿Puede usted producir MIU?
Es un desafío. Para comenzar, se deberá disponer de una
cadena (se trata de una cadena de letras). Para interrumpir
aún no están “en poder” del jugador. En realidad, la única
que éste posee hasta ahora es MI. Sólo mediante la
aplicación de las reglas, que a continuación enuncio,

podrá ampliar el lector su colección privada. He aquí la
primera regla:
Regla 1: Si se tiene una cadena cuya última letra sea I, se
le puede agregar una U al final.
Dicho sea de paso, por si no se lo ha advertido, al decir
“cadena” se da por sentado que las letras están situadas
en un orden establecido. Por ejemplo, MI e IM son dos
cadenas diferentes. Una cadena de símbolos no es
precisamente un “saco” de símbolos, donde el orden
interno sería indiferente.
La segunda regla:
Regla 2: Supongamos que se tenga Mx. En tal caso, puede
agregarse Mxx a la colección.
Unos ejemplos:
Dado MIU, se puede obtener MIUIU.
Dado MUM, se puede obtener MUMUM.
Dado MU, se puede obtener MUU.
Regla 3: Si en una de las cadenas de la colección aparece
la secuencia III, puede elaborarse una nueva cadena
sustituyendo III por U.
Ejemplos:
Dado UMIIIMU, se puede elaborar UMUMU.
Dado MIIII, se puede elaborar MIU (también
MUI).
Dado IIMII, la aplicación de esta regla no permite
ninguna transformación (las tres III deben ser
consecutivas).
Dado MIII, se elabora MU.
Bajo ninguna circunstancia ha de pensarse en emplear la
regla en sentido inverso, como en el ejemplo siguiente:
Dado MU, obtener MIII (Erróneo)
Regla 4: Si aparece UU en el interior de una de las
cadenas, está permitida su eliminación.
Ejemplos:
Dado UUU, se obtiene U.
Dado MUUUIII, se obtiene MUIII. [1]
2
C. Sistemas combinatorios
El acertijo de MU es un ejemplo especial de sistemas
formales llamados sistemas combinatorios. Para definir
un sistema combinatorio debemos contar con:
• Un alfabeto A finito, llamado alfabeto del sistema
y, eventualmente, un alfabeto auxiliar B que sirve
para escribir las producciones.
• Una palabra especial llamada axioma del sistema.
• Un número finito de esquemas de producción o
deducción.
El núcleo metodológico de las ciencias formales como la
Lógica y la Matemática lo constituye el método
axiomático. Este método consiste en la postulación de un
conjunto de proposiciones o enunciados los cuales
guardan entre sí una relación de deducibilidad. Este
conjunto de proposiciones recibe el nombre de sistema
axiomático o sistema formal por cuanto el punto de inicio
de toda la cadena deductiva lo constituyen los axiomas,
proposiciones cuya verdad no se demuestra, aunque se
toman como verdaderas.
En las ciencias formales de la lógica y las matemáticas,
así como en otras disciplinas relacionadas, como la
informática, la teoría de la información y la estadística,
un “sistema formal” es una gramática formal usada para
la modelización de diferentes propósitos.
-TEOREMA: 𝑀𝐼𝑈𝐼𝑈𝐼𝑈𝐼𝑈
Demostración (dentro del sistema MIU):
𝐴1 : 𝑀𝐼 axioma
𝐴2 : 𝑀𝐼𝑈 por 𝐴1 y la regla I
𝐴3 : 𝑀𝐼𝑈𝐼𝑈 por 𝐴2 y la regla II
𝐴4 : 𝑀𝐼𝑈𝐼𝑈𝐼𝑈𝐼𝑈 por 𝐴3 y la regla II ∎
DEFINICIÓN 1: 𝐼 𝑛 es abreviatura de 𝐼𝐼𝐼
⏟ …𝐼.
𝑛−𝑣𝑒𝑐𝑒𝑠
𝑛
-META-LEMA 1: 𝑀𝐼 2 es un teorema del sistema
MIU, para todo 𝑛 ≥ 0.
DEMOSTRACIÓN (fuera del sistema MIU):
𝑛
Si 𝑛 = 0 entonces 𝑀𝐼 2 es 𝑀𝐼1 , es decir, 𝑀𝐼 (por la
definición 1) el cual es teorema de MIU (por ser
axioma).
𝑛 𝑛+1
Si 𝑀𝐼 2 es teorema de MIU entonces 𝑀𝐼 2 , es decir,
𝑛
2 2 2 𝑛
𝑀𝐼 o sea la cadena 𝑀𝐼 𝐼𝐼 debe ser también teorema
𝑛
de MIU (al aplicar la regla 2 a la cadena 𝑀𝐼 2 )∎
III. RESULTADOS
 3

A. Planeamiento del problema 4. MIIIUIU

El objetivo del acertijo propuesto por Hofstadter es
producir una cadena MU (de ahí su nombre de acertijo
MU) dentro de un sistema formal conocido como sistema
MIU, el nombre del sistema se toma del hecho de que solo
emplea tres letras del alfabeto: M, I, U. Esto significa que
las cadenas del sistema MIU estarán formadas
exclusivamente por esas tres letras.
Para comenzar, el sistema MIU parte de una cadena
inicial, la cadena MI, es decir, MI es el único axioma del
sistema en cuestión.
5. MIIIIUU
IV. CONCLUSIONES Y DISCUSIÓN
Para tratar de resolver el acertijo es necesario salirse del
sistema y analizarlo desde fuera, como se comenzó a
hacer ya al mencionar anteriormente que todas las
cadenas inician en M, y esto es obvio al inspeccionar las
reglas, dado que ninguna de ellas permite generar ni
eliminar una M, partiendo del axioma MI.

B. Solución En fin, las ramificaciones del problema son muchísimas.

En un primer intento por resolver este acertijo, se
elaborará un sistema que genere de forma automática y
siguiendo las reglas, cadenas válidas dentro del sistema
formal.
Para entender como debería funcionar el sistema, se
procederá en primera instancia a generar de manera
manual algunas cadenas, como primer paso, se observa
que a partir de el axioma MI y aplicando las reglas, se
pueden obtener las siguientes cadenas:
Habría que ver asimismo si un teorema dado ya solo
crece repitiéndose, entonces quizá no tendría sentido
seguir iterándolo y explorar solo los teoremas que van
teniendo resultados diferentes.
AGRADECIMIENTOS Y RECONOCIMIENTOS
Esta sección el título suele no ser numerado pero aplica
formato, estilo y fuente tal como el resto del documento.
C. Anexos

1. MIU
2. MII

La primera cadena se obtiene después de aplicar la regla

1, y la segunda, casualmente después de aplicar la regla
2. Es posible observar que no se pueden aplicar las reglas
3 y 4 a MI.

Después se tiene que ver que cadenas se pueden generar

de MIU y cuáles de MII. De MIU solo es posible generar
Figura 1 Árbol del sistema MIU de Hofstadter en el libro ‘Gödel,
MIUIU, sin embargo, de MII se puede generar MIIU y Escher y Bach, una eterna trenza dorada’ de 1979.
MIIII. Si seguimos aplicando este proceso, tendríamos
que buscar que cadenas ahora se pueden formar de REFERENCIAS
MIUIU, MIIU y MIIII y seguir así secuencialmente hasta
que en alguna de esas generaciones encontremos la
cadena MU.
Referencias
De lo anterior podemos deducir que esta búsqueda nos
lleva a la generación de un árbol de producciones como [1] D. R. Hofstadter, GÖDEL, ESCHER, BACH: UNA ETERNA TRENZA
el mostrado en la Figura 1 y como puede observarse, cada DORADA, EEUU: Basic Books, 1979.
nodo solo puede tener a lo máximo 4 hijos, pero si se
analiza detenidamente el problema, se puede llegar a la
conclusión de que no necesariamente será así, por
ejemplo, de la cadena MIIIIIIIU aplicando solamente la
regla 3 se pueden obtener las siguientes cadenas:

1. MUIIIIU
2. MIUIIIU
3. MIIUIIU