Advertisement
Advertisement

More Related Content

Viewers also liked(20)

Advertisement

More from Dimitris Psounis(20)

Recently uploaded(20)

Advertisement

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

  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 Απαριθµητής Λεξικογραφικός Απαριθµητής Ν Τερµατίζει ∆εν τερµατίζει Ιδιότητες: Συµπληρώµατα Αποδεκτών Γλωσσών ΧΑΡΤΗΣ ΓΛΩΣΣΩΝ
Advertisement