ΠΛΗ30 ΜΑΘΗΜΑ 3.6

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

Embed Size (px)

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: