EXPRESION REGULAR : a+b?

c*
Gráfica del Árbol
Tabla de Siguientes

Siguiente
1-a 1,2,3,4
2-b 3,4
3-c 3,4
4-# -
Tabla de Subconjuntos

a b c FDC
S0 = 1 S1 = 1,2,3,4 -- -- Error
S1 = 1,2,3,4 S1 = 1,2,3,4 S2 = 3,4 S2 = 3,4 Aceptación
S2 = 3,4 -- -- S2 = 3,4 Aceptación

Autómata finito determinístico resultante

%3C mxGraphM odel% 3E% 3Croot% 3E% 3C mxCell %20id%3D %220% 22%2F% 3E%3C mxC ell% 20i d% 3D% 221%22% 20parent%3D %220% 22%2F %3E% 3C mxC ell% 20i d% 3D% 222%22% 20val ue%3D %224% 22%20s tyle%3D %22text%3Bhtml% 3D1% 3Bs trokeCol or% 3Dnone%3BfillColor% 3Dnone%3Balign% 3Dcenter% 3Bvertic alAlig n%3D mi ddl e% 3BwhiteSpac e% 3D wrap% 3Br ounded% 3D 0% 3Bl abelBac kgroundC ol or%3D none% 3BfontSiz e% 3D30% 3BfontC ol or%3D %23000000% 3B% 22%20vertex% 3D% 221% 22% 20parent% 3D% 221%22% 3E% 3C mxGeometry% 20x%3D %22824.5% 22% 20y%3D% 221019.5% 22%20wi dth% 3D% 2240% 22%20height% 3D% 2220% 22%20as% 3D% 22g eometr y%22% 2F% 3E% 3C% 2F mxC ell%3E% 3C% 2Fr oot% 3E% 3C %2F mxGraphModel %3E
 EXPRESION REGULAR: ((a|b)* | (ab)*)?

Gráfica del árbol:

Tabla de Siguientes:

Siguiente
1-a 1,2,5
2-b 1,2,5
3-a 4
4-b 3,5
5-# -
Tabla de Subconjuntos:

a b FDC
S0 = 1,2,3,5 S1 = 1,2,4,5 S2 = 1,2,5 Aceptación
S1 = 1,2,4,5 S2 = 1,2,5 S0 = 1,2,3,5 Aceptación
S2 = 1,2,5 S2 = 1,2,5 S2 = 1,2,5 Aceptación

Autómata finito determinístico resultante:

 EXPRESION REGULAR: (a|b)*ba?
Grafica del árbol
Tabla de Siguientes

Siguiente
1-a 1,2,3
2-b 1,2,3
3-b 4,5
4-a 5
5-# -

Tabla de subconjuntos

a b FDC
S0 = 1,2,3 S0 = 1,2,3 S1 = 1,2,3,4,5 Error
S1 = 1,2,3,4,5 S2 = 1,2,3,5 S1 = 1,2,3,4,5 Aceptación
S2 = 1,2,3,5 S0 = 1,2,3 S1 = 1,2,3,4,5 Aceptación

Autómata finito determinístico resultante

 EXPRESION REGULAR: (a+| b+)c*(a+| b+)c?
Grafica del árbol

Tabla de Siguientes

Siguiente
1-a 1,3,4,5
2-b 2,3,4,5
3-c 3,4,5
4-a 4,6,7
5-b 5,6,7
6-c 7
7-# --
Tabla de subconjuntos

a b c FDC
S0 = 1,2 S1 = 1,3,4,5 S2= 2,3,4,5 -- Error
S1 = 1,3,4,5 S3= 1,3,4,5,6,7 S4 = 5,6,7 S5 = 3,4,5 Error
S2 = 2,3,4,5 S6 = 4,6,7 S7 = 2,3,4,5,6,7 S5 = 3,4,5 Error
S3 = 1,3,4,5,6,7 S3 = 1,3,4,5,6,7 S4 =5,6,7 S8 = 3,4,5,7 Aceptación
S4 = 5,6,7 -- S4 =5,6,7 S9 = 7 Aceptación
S5 = 3,4,5 S6 = 4,6,7 S4 = 5,6,7 S5 = 3,4,5 Error
S6 = 4,6,7 S6 = 4,6,7 -- S9 = 7 Aceptación
S7 = 2,3,4,5,6,7 S6 = 4,6,7 S7 = 2,3,4,5,6,7 S8 = 3,4,5,7 Aceptación
S8 = 3,4,5,7 S6 = 4,6,7 S4 = 5,6,7 S5 = 3,4,5 Aceptación
S9 = 7 -- -- -- Aceptación

Autómata finito determinístico resultante