ΠΛΗ30 ΜΑΘΗΜΑ 3.6

23
ΠΛΗ30 ΕΝΟΤΗΤΑ 3: ΚΑΝΟΝΙΚΕΣ ΓΛΩΣΣΕΣ Μάθηµα 3.6: Μη Κανονικές Γλώσσες ∆ηµήτρης Ψούνης

Upload: dimitris-psounis

Post on 03-Sep-2015

39 views

Category:

Documents


2 download

DESCRIPTION

1) Το Λήμμα της Άντλησης για Κανονικές Γλώσσες1.1) Ορισμός1.2) Παραδείγματα2) Απόδειξη με Ιδιότητες Κλειστότητας2.1) Μεθοδολογία2.2) Παραδείγματα3) Απόδειξη με χρήση του ορισμού ελαχίστου αριθμού καταστάσεων αυτομάτου3.1) Μεθοδολογία 3.2) ΠαραδείγματαΑσκήσεις

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: