Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

ΠΛΗ30 ΧΑΡΤΗΣ ΓΛΩΣΣΩΝ

9,574 views

Published on

Χάρτης Γλωσσών (Σχέση των κλάσεων Γλωσσών: Κανονικές, Χωρίς Συμφραζόμενα, Αποφασίσιμες, Αποδεκτές)

Published in: Education
  • Be the first to comment

ΠΛΗ30 ΧΑΡΤΗΣ ΓΛΩΣΣΩΝ

  1. 1. ΚΑΝΟΝΙΚΕΣ ΓΛΩΣΣΕΣ ΓΛΩΣΣΕΣ ΑΝΕΞΑΡΤΗΤΕΣ ΣΥΜΦΡΑΖΟΜΕΝΩΝ ΑΠΟΦΑΣΙΣΙΜΕΣ ΓΛΩΣΣΕΣ ή ΑΝΑ∆ΡΟΜΙΚΕΣ ή ΕΠΙΛΥΣΙΜΕΣ ή ΛΕΞΙΚΟΓΡΑΦΙΚΑ TURING ΑΠΑΡΙΘΜΗΣΙΜΕΣ ή TURING ΑΠΟΦΑΣΙΣΙΜΕΣ ΓΛΩΣΣΕΣ ΑΠΟ∆ΕΚΤΕΣ ΓΛΩΣΣΕΣ ή ΑΝΑ∆ΡΟΜΙΚΑ ΑΠΑΡΙΘΜΗΣΙΜΕΣ ή TURING ΑΠΑΡΙΘΜΗΣΙΜΕΣ ή TURING ΑΠΟ∆ΕΚΤΕΣ ΓΛΩΣΣΕΣ ή ΑΝΑΓΝΩΡΙΣΙΜΕΣ ΓΛΩΣΣΕΣ Κανονική Έκφραση ΜΠΑ-ε ΜΠΑ ΝΠΑ Αλγόριθµος ε-σ-ε Κατασκευαστικά ή Αλγόριθµος Αλγόριθµος υποσύνολων Κλειστότητα σε ΟΛΕΣ Ενωση-Παράθεση-Αστερι: Με Κ.Ε. Συµπλήρωµα: Με ΝΠΑ: τελικές-µη τελικές Τοµή: Με ΝΠΑ: Αλγ.Συνδ/µου Κατ/σεων Ιδιότητες: άρχίζει - περιέχει τελειώνει-µήκος άρτια-περιττά ΠΕΠΕΡΑΣΜΕΝΕΣ ΓΛΩΣΣΕΣ Αυτόµατο Στοιβας Γραµµατική Χωρίς Συµφραζόµενα Αλγόριθµος Ιδιότητες: Ισότητα 2 πραγµάτων Αναλογία 2 πραγµάτων Ανισότητα 2 πραγµάτων Παλινδροµικότητα wwR Κλειστότητα: Ενωση-Παράθεση-Αστερι: Με Ενωση Γραµµατικών Κλειστότητα σε: Ενωση-Παράθεση-Αστερι: Τοµή Ιδιότητες: Ισότητα 3 πραγµάτων Αναλογία 3 πραγµάτων Παραθεση οµοιών ww «Οτιδήποτε µπορεί να υπολογιστεί από ένα πρόγραµµα π.χ.σε C» Μ w Y N Μ w Y Μ.Τ. που αποφασίζει Μ.Τ. που αποδέχεται HALTING HALTING Κλειστότητα σε ΟΛΕΣ Ενωση-Παράθεση-Αστερι: Συµπλήρωµα-Τοµή: εκτυπωτηςΜ.Τ. 001 0 011 01 εκτυπωτηςΜ.Τ. 001 0 011 01 Απαριθµητής Λεξικογραφικός Απαριθµητής Ν Τερµατίζει ∆εν τερµατίζει Ιδιότητες: Συµπληρώµατα Αποδεκτών Γλωσσών ΧΑΡΤΗΣ ΓΛΩΣΣΩΝ

×