А в чому проблема?

Це трохи схоже на регулярні вирази. Ліворуч - що ми визначаємо, праворуч - зміст.
Для арабських чисел:

<арабське_число> ::= <цифра_не_нуль>
<арабське_число> ::= <арабське_число> <цифра>
<цифра_не_нуль> ::= 1|2|3|4|5|6|7|8|9
<цифра> ::= 0|1|2|3|4|5|6|7|8|9

Перші два рядки можна об'єднати в один:

<арабське_число> ::= <цифра_не_нуль> | <арабське_число> <цифра>

Також можна погратися і замінити останнє визначення:

<цифра>::= 0 | <цифра_не_нуль> 

та то справа смаку. Два визначення одного виразу чи знак | означає "або".
Головне: ліворуч може бути тільки нетермінальний вираз (не літера) і тільки один.
Основний плюс граматики - по ній дуже зручно розбір писати, якщо з римськими цифрами ще можна відкрутитися, то з компілятором у вас без граматики ніц не вийде.
Так що починайте писати визначення <римське_число>.

Загалом проблему вирішив за допомогою контекстно-вільної граматики. Наче все працює нормально, перевіряв на послідовностях чисел А щодо регулярних виразів, то не можу до кінця розібратися як краще описати самі правила виводу. Гуглив "регулярні вирази". В більшості випадків видає інформацію під конкретну мову програмування, а хотів би загалом. Тому почитав підручник з дискретної (якийсь кривий трошки, бо всю тему вмістили мало не в один абзац ) більшість зрозумів, тому буду далі цю тему розбирати, бо побачив , що то є корисна штука   
Якщо комусь цікаво буде подивитись, що зробив (граматика) , то можу скинути сюди.
А наразі спасибі Вам