AUTOMATAStello

You might also like

Download as docx, pdf, or txt
Download as docx, pdf, or txt
You are on page 1of 15

B) E.

R= a(a(b+a))*

Q a b
0 1 3
1 2 3
2 1 1
3 3 3

a b
0 0 0,1
0,1 0,1,2 0,1,3,3
1,2 0,2,1,1 0,1,3,1
1,2,3 0,3,1,2 0,1,1,3,3
1) (b(b+ab)*aa+a(a+ba+bb(b+ab)*aa))b*ab*

Q a b
0 1 5
1 2 4
2 3 2
3 - 3
4 2 5
5 4 5

a b
0 0 0,1
0,1 0,1,2 0,1,5,4
2,3 0,3 0,1,2,3
4,5 0,2,4 0,1,5,5
0,1,2 0,1,2,3 0,1,5,4,2
3,4,5 0,2,4 0,1,3,5,5
0,1,2,3,4,5 0,3,4,5 0,1,2,3,4,5

2) (((a+b)b*a+ab*ab*a)b*a)*((a+b)b*a+ab*ab*a)b*

Q a b
0 1,2 1
1 3 1
2 1 2
3 0 3

a b
0 0 0,1
0,1 0,1,2 0,1,1,1
1,2 0,3,1 0,1,1,2
0,1,2 0,2 0,1,2
1. ER. aba*ba+a*b(aaba*)bb

Q a b
0 1 3
1 2 -
2 - 0
3 4 2
4 5 0
5 1 4

a b
0 0 0,1
0,1 0,1,2 0,1,3
0,2 0,1 0,1,3,0
0,3 0,1,4 0,1,3,2
0,4,5 0,1,1,5 0,0,1,3,4
0,1,2,3 0,1,2,4 0,1,0,3,2
0,1,2,3,4,5 0,1,2,4,5 0,1,2,3,4,5

2.
(1(00*1+00*1(1+00*1)*00*1)*00*1(1+00*1)*0+0(0+1(1+00*1)*0+1(1+00*1)*00*1(00*1+00*1(1+00*1)*00*1)*00*1(1+00*1)*0))
(1+0)*

Q 0 1
A C B
B D -
C F E
D D E, B
E D, F E
F F F
0 1
A A A,B
A,B A,C,D A,B,B
C,D A,F,D A,B,E,E,B
E,F A,D,F A,B,E,F
A,B,C A,C,D,F A,B,B,E
D,E,F A,D,D,F,F A,B,E,B,E,F
A,B,C,D,E,F A,D,E,F A,B,C,D,E,F

ER. 0(1(1+0)*)

Q 0 1
A B,C D,C
B A E
C D D
D A,B C
E - D

0 1
A A A,B
A,B A,B,C,A A,B,C,D,E
C,D A,D,A,B A,B,D,C
A,B,C,D,E A,D,E A,B,C,D,E
ER. 0*+01*(1|0(2*))

Q 0 1 2
A A,B,C B -
B - B C,C
C - - C

0 1 2
A A A,B A,B,C
A,B A,B,C A,B,B,B A,B,C,C,C
A,B,C A A,B A,B,C
1) ER. 1(0(0*+1*))

Q 0 1
A C,E B,D
B C -
C D A
D E C
E D A

0 1
A A A,B
A,B A,C,E,C A,B,B,D
C,D A,D,E A,B,A,C
A,B,C,D,E A,D,E A,B,C,D,E

2) ER. 0(1(1+0)*)

Q 0 1
A B C
B D,E A
C C A
D B C,D
E E B

0 1
A A A,B
A,B A,B,D,E A,B,C,A
C,D A,C,B A,B,A,C,D
A,B,E A,B,D,E,E A,B,C,A,B
A,B,C,D,E A,D,E A,B,C,D,E
*a esta no le pongas final en el 0*

ER. a(ab)*b(a*+b*)b(ab)*

Q a b
0 1 4
1 4 2
2 3 4
3 1 2
4 4 4

a b
0 0 0,1
0,1 0,1,4 0,1,2,4
2,3 0,3,1 0,1,4,2
3,4 0,1,4 0,1,2,4
0,1,2 0,1,3,4 0,1,2,4,4
0,1,2,3,4 0,3,4 0,1,2,3,4
1) ER. ab*b(ba)*

Q a b
0 1 2
1 - 0
2 - 3
3 0 -

a b
0 0 0,1
0,1 0,1 0,1,2,0
2,3 0,0 0,1,3
0,3 0,1,0 0,1,2
0,1,2,3 0,3 0,1,2,3
*El 10 es final y el 0 no es final*

ER. cab(b*+c*)ac*

Q a b c
0 10 - 1
1 - - 2,5
2 3 - -
3 - 4 -
4 - - 9
5 6 - -
6 - 7 -
7 8 - -
8 - - 9
9 - 1 10
10 - - -

a b c
0 0 0,1 0,1,2
0,1,2 0,10,3 0,1 0,1,2,1,2,5
3,4,5 0,6 0,1,4 0,1,2,9
6,7,8 0,8 0,1,7 0,1,2,9
2,5,7 0,3,6,8 0,1 0,1,2
3,6,9 0 0,1,4,7,1 0,1,2,10
0,1,2,3,4,5,6,7,8,9,10 0,3,6,8,10 0,1,4,7 0,1,2,5,9,10
ER. bab*ab(a*+b*)

Q a b
0 1 -
1 2 5
2 3 5
3 - -
4 0 -
5 4 0

a b
0 0 0,1
0,1 0,1,2 0,1,5
2,3 0,3 0,1,5
4,5 0,0,4 0,1,0
0,1,2 0,1,2,3 0,1,5,5
3,4,5 0,0,4 0,1,0
0,1,2,3,4,5 0,3,4,5 0,1,2,3,4,5

2) ER. ba*(ab)b*

Q a b
0 - 1
1 1,3 2
2 - -
3 4 3
4 - -

a b
0 0 0,1
0,1 0,1,3 0,1,1,2
2,3 0,4 0,1,3
0,1,2,3,4 0,3,4 0,1,2,3,4

ER. a(a*+b*)b*

Q a b
0 1 0
1 2 0
2 2 2

a b
0 0 0,1
0,1 0,1,2 0,1,0,0
1,2 0,2,2 0,1,0,2
0,1,2 0,2 0,1,2

2)ER. ab*(a(a*+b*))

Q a b
0 1 2
1 3 2
2 1 0
3 3 3

a b
0 0 0,1
0,1 0,1,3 0,1,2,2
2,3 0,1,3 0,1,03
0,1,2,3 0,3 0,1,2,3
ER (fc)*f

Q c d f
0 1,4 - 6,2
1 1 4 3
2 0 - -
3 3 - 3
4 4 5 5
5 5 - 5

C d f
0 0 0,1 0,1,2
0,1 0,1,1,4 0,1,4 0,1,2,6,2,3
2,3 0,0,3 0,1 0,1,2,3
4,5 0,4,5 0,1,5 0,5,5
0,1,2 0,1,4,1,0 0,1,4 0,1,2,6,2,3
3,4,5 0,3,4,5 0,1,5 0,1,2,3,5,5
0,1,2,3,4,5 0,4,5 0,1,3,4,5 0,1,2,3,4,5
ER. a*(ba*)b(a*+b*)

Q a b
0 4 1
1 1 2
2 3 1
3 3 3
4 4 5
5 4 6
6 6 5

a b
0 0 0,1
0,1 0,4,1 0,1,1,2
2,3 0,3,3 0,1,1,3
4,5 0,4,4 0,1,5,6
0,1,2 0,4,1,3,3 0,1,1,2,1
3,4,5,6 0,3,4,4,6 0,1,3,5,6,5
0,1,2,3,4,5,6 0,1,3,4,6 0,1,2,3,4,5,6
ER. b|a(ab)*

Q a b
0 1 3
1 - 2
2 1 -
3 - -

a b
0 0 0,1
0,1 0,1 0,1,3,2
2,3 0,1 0,1
0,1,2,3 0,1,1 0,1,2,3
ER. a*b(b*+c*)bac*

Q a b c
0 1 3 2
1 1 3 0
2 3 0 1
3 - 2 1

a b c
0 0 0,1 0,1,2
0,1 0,1,1 0,1,3,3 0,1,2,2,0
2,3 0,3 0,1,0,2 0,1,2,1,1

You might also like