Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 9 : Κανονικές Εκφράσεις. Αλέξανδρος Τζάλλας

Σχετικά έγγραφα
Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 10 : Κατασκευή ΝΠΑ. Αλέξανδρος Τζάλλας

Θεωρία Υπολογισμού Αλφάβητα, Γλώσσες, Κανονικές Εκφράσεις

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 11 : Γραμματικές χωρίς συμφραζόμενα. Αλέξανδρος Τζάλλας

Θεωρία Υπολογισμού. Ενότητα 5 : Λογικά Επιχειρήματα, Αλφάβητα & Γλώσσες (2/2) Αλέξανδρος Τζάλλας

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 8 : Αυτόματα NFA - DFA. Αλέξανδρος Τζάλλας

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 3 : Γραφήματα & Αποδείξεις. Αλέξανδρος Τζάλλας

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 2 : Σύνολα & Σχέσεις (2/2) Αλέξανδρος Τζάλλας

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 1 : Σύνολα & Σχέσεις (1/2) Αλέξανδρος Τζάλλας

Γλώσσες που περιγράφονται από Κανονικές Εκφράσεις

Θεωρία Υπολογισμού. Ενότητα 7 : Ντετερμινιστικά Πεπερασμένα Αυτόματα, Κανονικές Πράξεις. Αλέξανδρος Τζάλλας

Εφαρμογή Υπολογιστικών Τεχνικών στην Γεωργία

Προγραμματισμός Διαδικτύου

Λειτουργικά Συστήματα

Ανατομία - Φυσιολογία Ακοής Ομιλίας Λόγου

Ανατομία - Φυσιολογία Ακοής Ομιλίας Λόγου

Θέματα υπολογισμού στον πολιτισμό

Φωνολογική Ανάπτυξη και Διαταραχές

Ανατομία - Φυσιολογία Ακοής Ομιλίας Λόγου

Ανατομία - Φυσιολογία Ακοής Ομιλίας Λόγου

Πληροφορική II. Ενότητα 5 : Δομές Δεδομένων και αφηρημένοι. τύποι δεδομένων. Δρ. Γκόγκος Χρήστος

Προγραμματισμός Διαδικτύου

Ανατομία - Φυσιολογία Ακοής Ομιλίας Λόγου

Ανατομία - Φυσιολογία Ακοής Ομιλίας Λόγου

Εισαγωγή στους Αλγορίθμους

Θερμοδυναμική. Ανοικτά Ακαδημαϊκά Μαθήματα. Πίνακες Νερού σε κατάσταση Κορεσμού. Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής

Εισαγωγή στους Αλγορίθμους

Ιστορία της μετάφρασης

Δομές Δεδομένων Ενότητα 1

Λειτουργικά Συστήματα

Εκκλησιαστικό Δίκαιο. Ενότητα 10η: Ιερά Σύνοδος της Ιεραρχίας και Διαρκής Ιερά Σύνοδος Κυριάκος Κυριαζόπουλος Τμήμα Νομικής Α.Π.Θ.

Ανατομία - Φυσιολογία Ακοής Ομιλίας Λόγου

Εφαρμογή Υπολογιστικών Τεχνικών στην Γεωργία

Αντικειμενοστραφής Προγραμματισμός

Προγραμματισμός Διαδικτύου

Μάρκετινγκ Αγροτικών Προϊόντων

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ

Εισαγωγή στην Διοίκηση Επιχειρήσεων

Αντικειμενοστραφής Προγραμματισμός

Αντικειμενοστραφής Προγραμματισμός

Αντικειμενοστραφής Προγραμματισμός

Λογιστική Κόστους Ενότητα 12: Λογισμός Κόστους (2)

Εισαγωγή στους Αλγορίθμους

Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 3: Έλεγχοι στατιστικών υποθέσεων

Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 1: Καταχώρηση δεδομένων

Εκκλησιαστικό Δίκαιο

1 η Διάλεξη. Ενδεικτικές λύσεις ασκήσεων

Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας

Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 2: Περιγραφική στατιστική

Αρχιτεκτονική υπολογιστών

Προγραμματισμός Διαδικτύου

Διοικητική Λογιστική

Προχωρημένα Θέματα Προγραμματισμού Δικτύων

Λοιμώδη Νοσήματα Υγιεινή Αγροτικών Ζώων

Γενικά Μαθηματικά Ι. Ενότητα 12: Κριτήρια Σύγκλισης Σειρών. Λουκάς Βλάχος Τμήμα Φυσικής ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Εκκλησιαστικό Δίκαιο

Διοικητική των επιχειρήσεων

Αγροτικός Τουρισμός. Ενότητα 9 η : Εκπαιδευτικές τεχνικές στον τουρισμό. Όλγα Ιακωβίδου Τμήμα Γεωπονίας ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ

Θερμοδυναμική. Ανοικτά Ακαδημαϊκά Μαθήματα. Πίνακες Νερού Υπέρθερμου Ατμού. Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής

Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας

Λογισμός 3. Ενότητα 19: Θεώρημα Πεπλεγμένων (γενική μορφή) Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών ΑΝΟΙΚΤΑ ΑΚΑ ΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Ενδεικτικές λύσεις ασκήσεων διαχείρισης έργου υπό συνθήκες αβεβαιότητας

Προγραμματισμός Διαδικτύου

Στατιστική. 6 ο Μάθημα: Διαστήματα Εμπιστοσύνης και Έλεγχοι Υποθέσεων. Γεώργιος Μενεξές Τμήμα Γεωπονίας ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ

Συμπεριφορά Καταναλωτή

Γενικά Μαθηματικά Ι. Ενότητα 15: Ολοκληρώματα Με Ρητές Και Τριγωνομετρικές Συναρτήσεις Λουκάς Βλάχος Τμήμα Φυσικής

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Νοσηλευτική Σεμινάρια

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Μικροοικονομική. Ενότητα 7 : Ισορροπία αγοράς Καραμάνης Κωνσταντίνος

Βιοχημεία - Αρχές Βιοτεχνολογίας

Μεθοδολογία Έρευνας Κοινωνικών Επιστημών Ενότητα 2: ΣΥΓΚΕΝΤΡΩΣΗ ΠΛΗΡΟΦΟΡΙΩΝ ΜΑΡΚΕΤΙΝΓΚ Λοίζου Ευστράτιος Τμήμα Τεχνολόγων Γεωπόνων-Kατεύθυνση

Λειτουργικά Συστήματα

Λογιστική Κόστους Ενότητα 8: Κοστολογική διάρθρωση Κύρια / Βοηθητικά Κέντρα Κόστους.

Βιοχημεία - Αρχές Βιοτεχνολογίας

Βιοχημεία - Αρχές Βιοτεχνολογίας

Βιοχημεία - Αρχές Βιοτεχνολογίας

Ευαγγελικές αφηγήσεις της Ανάστασης

Αντικειμενοστραφής Προγραμματισμός

Προχωρημένα Θέματα Προγραμματισμού Δικτύων

Συμπεριφορά Καταναλωτή

Παράκτια Τεχνικά Έργα

Βιοχημεία - Αρχές Βιοτεχνολογίας

Οικονομική Γεωργικών Εκμεταλλεύσεων

Αρχιτεκτονική υπολογιστών

Νοσηλευτική Σεμινάρια

Μάρκετινγκ Αγροτικών Προϊόντων

Βιοχημεία - Αρχές Βιοτεχνολογίας

Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Γ. Ολοκληρωτικός Λογισμός

Εφαρμογή Υπολογιστικών Τεχνικών στην Γεωργία

Διεθνείς Οικονομικές Σχέσεις και Ανάπτυξη

Διοίκηση Εξωτερικής Εμπορικής Δραστηριότητας

Βιοχημεία - Αρχές Βιοτεχνολογίας

Μάρκετινγκ Αγροτικών Προϊόντων

Εφαρμογή Υπολογιστικών Τεχνικών στη Γεωργία

Μηχανολογικό Σχέδιο Ι

Βιοχημεία - Αρχές Βιοτεχνολογίας

Βιοχημεία - Αρχές Βιοτεχνολογίας

Εκκλησιαστικό Δίκαιο

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Πληροφορική Ι. Ενότητα 3 : Αναπαράσταση αριθμών στο δυαδικό σύστημα. Δρ.

Transcript:

1 Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 9 : Κανονικές Εκφράσεις Αλέξανδρος Τζάλλας

2 Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Τμήμα Μηχανικών Πληροφορικής Τ.Ε Θεωρία Υπολογισμού Ενότητα 9 : Κανονικές Εκφράσεις Αλέξανδρος Τζάλλας Καθηγητής Εφαρμογών Άρτα, 2015

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου άδειας χρήσης, η άδεια χρήσης αναφέρεται ρητώς. 3 3

4 Χρηματοδότηση Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» και συγχρηματοδοτείται από την Ευρωπαϊκή Ένωση (Ευρωπαϊκό Κοινωνικό Ταμείο) και από εθνικούς πόρους. Το έργο «Ανοικτά Ακαδημαϊκά Μαθήματα στο TEI Ηπείρου» έχει χρηματοδοτήσει μόνο τη αναδιαμόρφωση του εκπαιδευτικού υλικού. Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα.

5 Κανονικές Εκφράσεις Στοιχειώδεις Κανονικές Εκφράσεις Κανονικές Εκφράσεις Γλώσσες που περιγράφονται από Κανονικές Εκφράσεις Δημιουργία Κανονικών Εκφράσεων Παραδείγματα Κανονικών Εκφράσεων

6 Στοιχειώδης Κανονικές Εκφράσεις (1/3) Μία κανονική έκφραση χρησιμοποιείται για να περιγράψει μία κανονική γλώσσα Η κανονική έκφραση αναπαριστά ένα "μοντέλο": συμβολοσειρές που ταιριάζουν σ αυτό το μοντέλο ανήκουν στην γλώσσα, που αυτό περιγράφει, όσες δεν ταιριάζουν, δεν ανήκουν στην γλώσσα αυτή Οι συμβολοσειρές αναφέρονται σε κάποιο αλφάβητο Σ

7 Στοιχειώδης Κανονικές Εκφράσεις (2/3) Τονίζεται: Τα παρακάτω αποτελούν στοιχειώδης κανονικές εκφράσεις: x, για κάθε x Σ, ε, η κενή συμβολοσειρά, και, παριστάνει την καμία συμβολοσειρά Έτσι, αν Σ = n, τότε υπάρχουν n+2 στοιχειώδης κανονικές εκφράσεις που ανήκουν σε ένα αλφάβητο Σ

8 Στοιχειώδης Κανονικές Εκφράσεις (3/3) Γλώσσες, που ορίζονται από τις στοιχειώδεις κανονικές εκφράσεις: Για κάθε x Σ, η στοιχειώδης κανονική έκφραση x περιγράφει την γλώσσα {x} (Δηλαδή την γλώσσα που έχει μια μοναδική συμβολοσειρά "x", που περιέχει ένα μοναδικό σύμβολο, το 'x ) Η στοιχειώδης κανονική έκφραση ε περιγράφει την γλώσσα {ε} (Η μοναδική συμβολοσειρά που υπάρχει στη γλώσσα αυτή είναι η κενή συμβολοσειρά) Η στοιχειώδης κανονική έκφραση περιγράφει την γλώσσα {} (Κενή γλώσσα, δεν υπάρχουν συμβολοσειρές στην γλώσσα αυτή)

9 Κανονικές Εκφράσεις (1/3) Κάθε στοιχειώδης κανονική έκφραση είναι μία κανονική έκφραση Τονίζεται: Χρησιμοποιώντας τους παρακάτω κανόνες, πεπερασμένου αριθμού φορές, μπορούμε να συνθέσουμε νέες κανονικές εκφράσεις: Αν το r είναι μία κανονική έκφραση, τότε είναι και η (r) Αν το r είναι μία κανονική έκφραση, τότε είναι και η r* Αν τα r 1 και r 2 είναι κανονικές εκφράσεις, τότε είναι και η r 1 r 2 Αν τα r 1 και r 2 είναι κανονικές εκφράσεις, τότε είναι και η r 1 +r 2

1 Κανονικές Εκφράσεις (2/3) Οι παραπάνω προτάσεις σημαίνουν τα εξής: Οι παρενθέσεις χρησιμεύουν μόνο για ομαδοποίηση Το αστέρι συμβολίζει καμία ή περισσότερες επαναλήψεις της εκάστοτε κανονικής έκφρασης που προηγείται (Έτσι, αν x Σ, τότε η κανονική έκφραση x* συμβολίζει την γλώσσα {ε, x, xx, xxx,...} ) Η παράθεση των r 1 και r 2 συμβολίζει τις συμβολοσειρές που περιγράφονται από το r 1 και ενώνονται με αυτές που περιγράφονται από το r 2 (Για παράδειγμα, αν x, y Σ, τότε η κανονική έκφραση xy περιγράφει την γλώσσα {xy})

1 Κανονικές Εκφράσεις (3/3) Το σύμβολο της πρόσθεσης, διαβάζεται ως διαζευκτικό "ή", χρησιμοποιείται στην περιγραφή των γλωσσών που περιγράφονται από κάποιο υποσύνολο της μιας ή της άλλης κανονικής έκφρασης (Για παράδειγμα, αν x, y Σ, τότε η κανονική έκφραση x+y περιγράφει την γλώσσα {x, y}) Προτεραιότητα: * το αστέρι είναι πρώτο, έχει, δηλαδή, τη μεγαλύτερη προτεραιότητα, ακολουθεί η παράθεση, και τέλος το + (Για παράδειγμα, το a+bc* περιγράφει την γλώσσα {a, b, bc, bcc, bccc, bcccc,...})

Γλώσσες που περιγράφονται από κανονικές εκφράσεις Υπάρχει μία απλή αντιστοιχία στις κανονικές εκφράσεις και τις γλώσσες που περιγράφονται απ αυτές: Κανονική έκφραση L(κανονική έκφραση) x, για κάθε x Σ {x} ε {ε} {} (r 1 ) L(r 1 ) r 1 * L(r 1 )* r 1 r 2 L(r 1 ) L(r 2 ) r 1 +r 2 L(r 1 ) L(r 2 ) 1

1 Δημιουργώντας Κανονικές Εκφράσεις (1/4) Παρακάτω υπάρχουν κάποιες οδηγίες για την δημιουργία κανονικών εκφράσεων Θα θεωρήσουμε ότι Σ= {a, b, c} Κανένα ή περισσότερα Το a* σημαίνει "κανένα ή περισσότερα a" Αν πούμε "κανένα ή περισσότερα ab", αυτό σημαίνει, {ε, ab, abab, ababab,...}, και συμβολίζεται (ab)* Το ab* δεν είναι σωστό επειδή περιγράφει την γλώσσα a(b)*, δηλαδή την {a, ab, abb, abbb, abbbb,...}

1 Δημιουργώντας Κανονικές Εκφράσεις (2/4) Ένα ή περισσότερα Εφόσον το a* σημαίνει "κανένα ή περισσότερα a", μπορούμε να χρησιμοποιήσουμε το aa* (ή ισοδύναμα, a*a) για να γράψουμε "ένα ή περισσότερα a" Ομοίως, για να περιγράψουμε "ένα ή περισσότερα ab", δηλαδή, {ab, abab, ababab,...}, γράφουμε ab(ab)* Κανένα ή ένα Μπορούμε να περιγράψουμε ένα ή κανένα a ως (a+ε)

1 Δημιουργώντας Κανονικές Εκφράσεις (3/4) Οποιαδήποτε συμβολοσειρά Για να περιγράψουμε οποιαδήποτε συμβολοσειρά (με Σ = {a, b, c}), χρησιμοποιούμε την έκφραση (a+b+c)* Οποιαδήποτε μη κενή συμβολοσειρά. Αυτό μπορεί να γραφεί σαν οποιοδήποτε σύμβολο του Σ ακολουθούμενο από οποιαδήποτε συμβολοσειρά: (a+b+c)(a+b+c)*

1 Δημιουργώντας Κανονικές Εκφράσεις (4/4) Οποιαδήποτε συμβολοσειρά δεν περιέχει... Για να περιγράψουμε οποιαδήποτε συμβολοσειρά δεν περιέχει το a (με Σ= {a, b, c}), χρησιμοποιούμε την έκφραση (b+c)* Οποιαδήποτε συμβολοσειρά περιέχει ακριβώς ένα... Για να περιγράψουμε οποιαδήποτε συμβολοσειρά περιέχει ακριβώς ένα a, τοποθετούμε "οποιαδήποτε συμβολοσειρά δεν περιέχει ένα a", σε κάθε μεριά του a, με αυτόν τον τρόπο: (b+c)*a(b+c)*

1 Παραδείγματα Κανονικών Εκφράσεων (1/4) Δημιουργήστε τις κανονικές εκφράσεις για τις παρακάτω γλώσσες στο αλφάβητο Σ= {a, b, c} Όλες οι συμβολοσειρές που περιέχουν ακριβώς ένα a (b+c)*a(b+c)*

Παραδείγματα Κανονικών Εκφράσεων (2/4) Δημιουργήστε τις κανονικές εκφράσεις για τις παρακάτω γλώσσες στο αλφάβητο Σ= {a, b, c} Όλες οι συμβολοσειρές που δεν περιέχουν περισσότερα από τρία a. Μπορούμε να περιγράψουμε την συμβολοσειρά που περιέχει μηδέν, ένα, δύο ή τρία a (και τίποτα άλλο) ως εξής (ε+a)(ε +a)(ε +a) Τώρα θέλουμε να συμπεριλάβουμε συμβολοσειρές που δεν περιέχουν a όπου βρίσκονται τα X: έτσι τοποθετούμε όπου Χ το (b+c)* : X(ε+a)X(ε+a)X(ε+a)X (b+c)*(ε +a)(b+c)*(ε +a)(b+c)*(ε +a)(b+c)* 1

1 Παραδείγματα Κανονικών Εκφράσεων (3/4) Τελικά, αντικαθιστώντας τα X με (a+b+c)* έχουμε την λύση: (a+b+c)*a(a+b+c)*b(a+b+c)*c(a+b+c)* + (a+b+c)*a(a+b+c)*c(a+b+c)*b(a+b+c)* + (a+b+c)*b(a+b+c)*a(a+b+c)*c(a+b+c)* + (a+b+c)*b(a+b+c)*c(a+b+c)*a(a+b+c)* + (a+b+c)*c(a+b+c)*a(a+b+c)*b(a+b+c)* + (a+b+c)*c(a+b+c)*b(a+b+c)*a(a+b+c)*

Παραδείγματα Κανονικών Εκφράσεων (4/4) Όλες τις συμβολοσειρές που δεν περιέχουν το a πάνω από δύο φορές συνεχόμενα Μπορούμε πολύ εύκολα να δημιουργήσουμε μια έκφραση, που να περιέχει κανένα a, ένα a, ή ένα aa: (b+c)*(ε +a+aa)(b+c)* αλλά αν θέλουμε να το επαναλάβουμε, πρέπει να είμαστε σίγουροι ότι έχουμε τουλάχιστον ένα μη-a σύμβολο μεταξύ των επαναλήψεων: (b+c)*(ε+a+aa)(b+c)*((b+c)(b+c)*(ε+a+aa)(b+c)*)* Όλες τις συμβολοσειρές που περιέχουν το a εις τριπλούν (aaa+b+c)* 2

2 Βιβλιογραφία H.R. Lewis, Χ. Παπαδημητρίου, "Στοιχεία θεωρίας υπολογισμού", 1η έκδοση/2005, Εκδόσεις Κριτική, ISBN: 978-960-218-397-7 Κωδικός Βιβλίου στον Εύδοξο: 11776 2. M. Sipser, "Εισαγωγή στη Θεωρία Υπολογισμού", 1η έκδοση/2009, Εκδόσεις ΙΤΕ-Πανεπιστημιακές Εκδόσεις Κρήτης, ISBN: 978-960-524-243-5 Κωδικός Βιβλίου στον Εύδοξο: 257 Επιπλέον συνιστώμενη βιβλιογραφία E. Rich, "Automata, Computability and Complexity: Theory and Applications", 1st edition/2007, Prentice Hall, ISBN: 978-0132288064 J. E. Hopcroft, R. Motwani, J. D. Ullman, "Introduction to Automata Theory, Languages, and Computation", 3rd edition/2006, Prentice Hall, ISBN: 978-0321455369 J. Hopcroft, R. Motwani, J. Ullman, Intoduction to Automata Theory, Languages and Computation, 2nd ed., Pearson - Addison Wesley, 2003 M. Sipser, Εισαγωγή στη Θεωρία Υπολογισμού, Πανεπιστημιακές Εκδόσεις Κρήτης, 2007

2 22 Σημείωμα Αναφοράς Copyright Τεχνολογικό Ίδρυμα Ηπείρου. Αλέξανδρος Τζάλλας. Θεωρία Υπολογισμού. Έκδοση: 1.0 Άρτα, 2015. Διαθέσιμο από τη δικτυακή διεύθυνση: http://eclass.teiep.gr/courses/comp112/

Σημείωμα Αδειοδότησης Το παρόν υλικό διατίθεται με τους όρους της άδειας χρήσης Creative Commons Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 4.0 Διεθνές [1] ή μεταγενέστερη. Εξαιρούνται τα αυτοτελή έργα τρίτων π.χ. φωτογραφίες, Διαγράμματα κ.λ.π., τα οποία εμπεριέχονται σε αυτό και τα οποία αναφέρονται μαζί με τους όρους χρήσης τους στο «Σημείωμα Χρήσης Έργων Τρίτων». Ο δικαιούχος μπορεί να παρέχει στον αδειοδόχο ξεχωριστή άδεια να χρησιμοποιεί το έργο για εμπορική χρήση, εφόσον αυτό του ζητηθεί. [1] http://creativecommons.org/licenses/by-nc-nd/4.0/deed.el 2

2 Τέλος Ενότητας Επεξεργασία: Ευάγγελος Καρβούνης Άρτα, 2015

2 Τέλος Ενότητας Κανονικές Εκφράσεις