31
ΠΛΗ30 ΕΝΟΤΗΤΑ 3: ΚΑΝΟΝΙΚΕΣ ΓΛΩΣΣΕΣ Μάθηµα 3.5: Ισοδυνα ία Κ.Ε. – Μ.Π. Α. – Ν.Π. Α. ∆ηµήτρης Ψούνης
ΠΛΗ30 ΜΑΘΗΜΑ 3.5
Embed Size (px)
DESCRIPTION
1) Μετατροπή Κανονικής Έκφρασης σε Μη Ντετερμινιστικό Πεπερασμένο Αυτόματο (με ε-κινήσεις)1.1) Αλγόριθμος Μετατροπής ΚΕ σε ΜΠΑ (με ε-κινήσεις)1.2) Παραδείγματα2) Μετατροπή ΜΠΑ(με ε-κινήσεις) σε ΜΠΑ(χωρίς ε-κινήσεις)2.1) Αλγόριθμος Μετατροπής ΜΠΑ(με ε-κινήσεις) σε ΜΠΑ(χωρίς ε-κινήσεις)2.2) Παραδείγματα3) Μετατροπή ΜΠΑ(χωρίς ε-κινήσεις) σε Ντετερμινιστικό Πεπερασμένο Αυτόματο (ΝΠΑ)3.1) Αλγόριθμος Μετατροπής ΜΠΑ (Χωρίς ε-κινήσεις) σε ΝΠΑ3.2) Παραδείγματα3.3) Εφαρμογή με εμπειρικό τρόπο4) Μετατροπή Ντετερμινιστικού Πεπερασμένου Αυτομάτου (ΝΠΑ) σε Κανονική Έκφραση4.1) Αλγόριθμος Μετατροπής ΝΠΑ σε Κανονική Έκφραση4.2) ΠαραδείγματαΑσκήσεις
Citation preview
-
30 3:
3.5: .. ... ... .. ... ...
-
.
.
1. ( -)
1. ( -)
2.
2. ( -) ( -)
2 , 30, 3.5: - -
2. ( -) ( -)
1. ( -) ( -)
2.
3.
3. ( -)
1. ( -)
2.
3.
4.
1. ( -)
2.
.
-
.
:
( - ) ( -) ( -)
3 , 30, 3.5: - -
.. ( -)
..
-
B.
4 , 30, 3.5: - -
:
(..) . (...)
.
(..)
:
.. ..-
..-
..
:
-: -
: -
(..) .
-
B. 1. .. -1.
5 , 30, 3.5: - -
. - :
1. , , :
(.. M(001)):
0
() ()
0 1
()
(001)
-
R :
B. 1. .. -1.
6 , 30, 3.5: - -
S
F
M(R1), M(R2) R1+R2, R1R2 R*
S
F
(R)
-
2. R1R2 :
B. 1. .. -1.
7 , 30, 3.5: - -
S
F
S
F
: - M(R1) M(R2) M(R1) .
S
F
(R1)
S
F
(R2)
-
3. R1+R2 :
B. 1. .. -1.
8 , 30, 3.5: - -
S
F
F
(R1)
:
- .
S
F
F
(R2)
-
4. R* :
B. 1. .. -1.
9 , 30, 3.5: - -
S
F
(R)
: ( ) - .
- .
.
S
F
(R)
-
- ,
: (1+01)*:
B. 1. .. -2.
10 , 30, 3.5: - -
1 0 1
(1) (01)
1
0 1
(1+01)
-
() (1+01)*:
B. 1. .. -2.
11 , 30, 3.5: - -
1
0 1
((1+01)*)
-
B. 2. - 1.
12 , 30, 3.5: - -
-
B. 2. - 2.
13 , 30, 3.5: - -
0
1
1
0
1 00
0
1
11
1
0
01
-
:
.
-
.
/ -- :
: (
B. 2. - 3.
14 , 30, 3.5: - -
: ( )
: .
: :
.. / 0: : ,, 0:,, : ,
0
1
1
-
: - :
:
:
:
B. 2. - 4.
15 , 30, 3.5: - -
0
1
10 1
{,} {}:
:
0 1
:,,0:,,:,
:,,1:,,:
:,0:,:,
:,1:,:
:0::
:1::,,
:0::,
:1::
{,} {}
{,} {}
{,,} {,} {}
0
1 00
0
1
11
1
0
01
-
B. 3. N1.
16 , 30, 3.5: - -
-
B. 3. 2.
17 , 30, 3.5: - -
1
11
0
-
:
B. 3. 2.
18 , 30, 3.5: - -
{,}
{,}
{,}
{,,}
1
01 0
11
00
: . : {,}, {,,}, {,}
{}
{}
{}
0,1
1
0
0,1
01
1
-
:
B. 3. 2.
19 , 30, 3.5: - -
{}{}
{,}
10
1{}
{}
{}
0,1
0
0,1
01
1
-
: .
: .
.
:
B. 3. 3.
20 , 30, 3.5: - -
:
.
.
.
-
B. 3. 3.
21 , 30, 3.5: - -
: :: =>
1
11
0 0 1{} {,}
{,} {} {}
:0 1
{,} {} {}
{} {} {}
{}
{}
{}
{}{,}
0,1
1
0
0,1
01
0
1
-
B. 4. ..1.
22 , 30, 3.5: - -
-
B. 4. 2.
23 , 30, 3.5: - -
31 2
1 0
0 01
1
-
B. 4. 2.
24 , 30, 3.5: - -
31 2
1 0
0 01
1
-
. 1
:() (11)*+0*
() 010(11)*01+0*10*
25 , 30, 3.5: - -
() (0+10)*+(1+0*0)*+1
-
. 2
-
- :
26 , 30, 3.5: - -
1
1
1 1
-
. 3
-
- :
27 , 30, 3.5: - -
1
0 0
10 0
-
. 4
L={w{0,1}* | w 00}() L
() .
28 , 30, 3.5: - -
() ( =>)
-
. 5
L={w{0,1}* | w 001}() L
() .
29 , 30, 3.5: - -
() ( =>)
-
. 1 0*1*01
1. ..
2. ( -
30 , 30, 3.5: - -
2. ( -)
3. 2 -
4. .
-
. 2 (1+00)*
1. ..
2. ( -)
31 , 30, 3.5: - -
2. ( -)
3. .
