Autmata finito con transiciones vacas

1.- Considera el alfabeto {M, D, C, L, X, C, I} y el lenguaje de los nmeros romanos.

Demuestre que es un lenguaje regular construyendo un autmata finito con transiciones
vacas que lo reconozca. Recuerda que, por ejemplo, VIIII no es un nmero romano, y que
debemos escribir IX, en su lugar.

M={

Q = {q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q12, q13, q14, q15, q16, q17, q18}

= {M, D, C, L, X, V, I}

Q0 = {q0}

F = {q3, q4, q8, q9, q13, q14, q18}

Estado M D C L X V I
->q0 Q16 Q14 Q11 Q9 Q6 Q4 Q1
q1 Q3 Q3 Q2 Q2
q2 Q2 Q3
*q3
*Q4 Q5
Q5 Q2 Q2
Q6 Q8 Q8 Q7 Q7
Q7 Q8 Q8
*Q8 Q1
*Q9 Q10 Q10
Q10 Q7 Q7
Q11 Q13 q13 Q12 Q12
Q12 Q13 Q13
Q13 Q6
*Q14 Q15
Q15 Q12 Q12
Q16 Q17 Q17
Q17 Q18 Q18
*Q18 Q18 Q11

}
Autmata que acepta nmeros romanos.
Expresin regular

I(V+X)+I(I+)(I+)+V+VI(+I)(I+)+(X(C+L)+X(+X)(+X))(+I(V+X)+I(I+)(I+)+V+VI(+I)(I
+))+L+L(X+)(X+)(+X)(+I(V+X)+I(I+)(I+)+V+VI(+I)(I+))+(C(D+M)+C(C+)(+C))(+
(X(C+L)+X(+X)(+X))(+I(V+X)+I(I+)(I+)+V+VI(+I)(I+))+L+L(X+)(X+)(+X)(+I(V+X)
+I(I+)(I+)+V+VI(+I)(I+)))+D+DC(C+)(+C)(+(X(C+L)+X(+X)(+X))(+I(V+X)+I(I+)(I
+)+V+VI(+I)(I+))+L+L(X+)(X+)(+X)(+I(V+X)+I(I+)(I+)+V+VI(+I)(I+)))+M(M+)(
+M)(+(C(D+M)+C(C+)(+C))(+(X(C+L)+X(+X)(+X))(+I(V+X)+I(I+)(I+)+V+VI(+I)(I
+))+L+L(X+)(X+)(+X)(+I(V+X)+I(I+)(I+)+V+VI(+I)(I+)))+D+DC(C+)(+C)(+(X(C
+L)+X(+X)(+X))(+I(V+X)+I(I+)(I+)+V+VI(+I)(I+))+L+L(X+)(X+)(+X)(+I(V+X)+I(I+
)(I+)+V+VI(+I)(I+))))

Bibliografa

1. Jflat
2. Gmez, Domingo y Pardo, Luis M. 2015. Teora de Autmatas y Lenguajes
Formales. Departamento de Ciencias de la Computacin Universidad de Chile.