ΠΛΗ30 ΕΝΟΤΗΤΑ 3: ΚΑΝΟΝΙΚΕΣ ΓΛΩΣΣΕΣ Μάθηµα 3.6: Μη Κανονικές Γλώσσες ∆ηµήτρης Ψούνης
ΠΛΗ30 ΜΑΘΗΜΑ 3.6
Sep 03, 2015
1) Το Λήμμα της Άντλησης για Κανονικές Γλώσσες
1.1) Ορισμός
1.2) Παραδείγματα
2) Απόδειξη με Ιδιότητες Κλειστότητας
2.1) Μεθοδολογία
2.2) Παραδείγματα
3) Απόδειξη με χρήση του ορισμού ελαχίστου αριθμού καταστάσεων αυτομάτου
3.1) Μεθοδολογία
3.2) Παραδείγματα
Ασκήσεις
1.1) Ορισμός
1.2) Παραδείγματα
2) Απόδειξη με Ιδιότητες Κλειστότητας
2.1) Μεθοδολογία
2.2) Παραδείγματα
3) Απόδειξη με χρήση του ορισμού ελαχίστου αριθμού καταστάσεων αυτομάτου
3.1) Μεθοδολογία
3.2) Παραδείγματα
Ασκήσεις
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
-
30 3:
3.6:
-
.
.
1.
1.
2.
2.
2 , 30, 3.6:
2.
1.
2.
3.
1.
2.
.
-
.
:
.
.
3 , 30, 3.6:
.
.
-
B. 1. 1.
4 , 30, 3.6:
-
B. 1. 2.
5 , 30, 3.6:
(1) s
() p ()
(2) (1)
(3) uv .
(9) .
-
B. 1. 2.
6 , 30, 3.6:
-
B. 1. 2.
7 , 30, 3.6:
-
B. 1. 2.
8 , 30, 3.6:
-
B. 1. 2.
9 , 30, 3.6:
:
2 .
-
B. 1. 2.
10 , 30, 3.6:
-
B. 2. 1.
11 , 30, 3.6:
-
B. 2. 2.
12 , 30, 3.6:
-
B. 2. 2.
13 , 30, 3.6:
-
B. 3. 1.
14 , 30, 3.6:
: .
.
,
:
,
.
L . :
x,y z xz yz .
: n , n .
-
B. 3. 2.
15 , 30, 3.6:
-
B. 3. 3.
16 , 30, 3.6:
:
.
n . .
m>n .
m .
! .
-
B. 3. 4.
17 , 30, 3.6:
-
B. 3. 4.
18 , 30, 3.6:
-
. 1
19 , 30, 3.6:
-
. 2
20 , 30, 3.6:
-
. 3
21 , 30, 3.6:
-
. 4
22 , 30, 3.6:
-
. 5
23 , 30, 3.6:
Related Documents
