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

ΠΛΗ30 ΜΑΘΗΜΑ 3.6

Embed Size (px)

DESCRIPTION

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

Citation preview

  • 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: