ΠΛΗ30 ΜΑΘΗΜΑ 3.6
23
ΠΛΗ30 ΕΝΟΤΗΤΑ 3: ΚΑΝΟΝΙΚΕΣ ΓΛΩΣΣΕΣ Μάθηµα 3.6: Μη Κανονικές Γλώσσες ∆ηµήτρης Ψούνης
-
Upload
dimitris-psounis -
Category
Documents
-
view
26 -
download
2
description
1) Το Λήμμα της Άντλησης για Κανονικές Γλώσσες1.1) Ορισμός1.2) Παραδείγματα2) Απόδειξη με Ιδιότητες Κλειστότητας2.1) Μεθοδολογία2.2) Παραδείγματα3) Απόδειξη με χρήση του ορισμού ελαχίστου αριθμού καταστάσεων αυτομάτου3.1) Μεθοδολογία 3.2) ΠαραδείγματαΑσκήσεις
Transcript of ΠΛΗ30 ΜΑΘΗΜΑ 3.6
-
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:
