Hola. No me queda muy claro lo que hay que hacer en la pregunta de la tarea donde se pide que demos un lenguaje apropiado para el sistema de numeración romano. La duda está en cómo vamos a expresar las "reglas de formación" (me parece que sería mejor hablar de "reglas de formación de términos" en lugar de "reglas de formación de fórmulas", pero esto ahora no es lo importante).

Por ejemplo, empezaríamos diciendo:
El alfabeto es A={I,V,X,L,C,D,M}

Una de las reglas de construcción, entonces sería:

1.- No se puede repetir más de tres veces el mismo símbolo.

¿Y así seguiríamos "enunciando" las reglas de formación?

Primero: Que seria para ti una regla de formacion de terminos??

Segundo: Si, hay que dar las reglas asi como la que mencionaste, que por cierto es regla de formacion de FORMULAS!!!

Me refería al hecho de considerar a un número, escrito en este sistema de numeración, como un término (por ejemplo, el MCMLXXXV). A final de cuentas, creo que estamos hablando de lo mismo.

¿O cuál sería una "fórmula"?

Bueno, el problema hace referencia a la parte sintáctica, ahí solo les llamamos términos a ciertos símbolos (constantes, variables) o arreglos de ellos (funcionales aplicadas a términos). No hay tal cosa como reglas de buena formación de términos. Ciertos símbolos o arreglos de símbolos son o no son términos y ya. Échate una leída a las notas que puse sobre lenguajes de primer orden (N_01) o a la primer sección de las notas de Sistemas Formales (el que venden en las Prensas de Ciencias)