Θεωρία Υπολογισµού και Πολυπλοκότητα
|
|
- Σαπφώ Λύτρας
- 8 χρόνια πριν
- Προβολές:
Transcript
1 Θεωρία Υπολογισµού και Πολυπλοκότητα Κεφάλαιο 3. Γλώσσες και Συναρτήσεις 30 Ιανουαρίου 2007 ρ. Παπαδοπούλου Βίκη 1
2 Αλφάβητο Πως υλοποιούµε σεέναυπολογιστήένααλγόριθµοήµια σχέση; Αλφάβητο ή Γλώσσα Ορισµός: Αλφάβητο, Σ, είναι ένα πεπερασµένο σύνολο από σύµβολα ή γράµµατα. Π.χ. Σ = {0, 1} δυαδικό αλφάβητο Σ = { a, b,, y, z }, αγγλικό αλφάβητο Το σύνολο όλων των χαρακτήρων ASCII.?? 2
3 Λέξη Ορισµός: Λέξη είναι µια πεπερασµένη ακολουθία συµβόλων ενός αλφαβήτου. Π.χ = λέξη του αλφάβητου Σ = {0, 1} Κενή λέξη, e = λέξη χωρίς σύµβολα Μήκος µιας λέξης = πλήθος συµβόλων της λέξης Π.χ. 011 =? Σ k = σύνολο όλων των λέξεων µήκους k απότοαλφάβητοσ. Π.χ. Σ = { 0, 1 }, Σ 0 = { e }, Σ 1 = { 0, 1 }, Σ 2 =?? ={00, 01, 10, 11} 3
4 Θήκη Kleene Ορισµός: Θήκη Kleene του αλφαβήτου Σ, Σ, είναι το σύνολο όλων των λέξεων του Σ. Π.χ. {0, 1 } = { e, 0, 1, 00, 01, 10, 11, L }. ή Σ * = Σ 0 Σ 1 Σ 2 L. Παρατηρείστε: Η θήκη Kleene Σ * ενός αλφαβήτου Σ είναι αριθµήσιµο σύνολο?? Είναι άπειρο σύνολο?? Είναι απείρως αριθµήσιµοσύνολο: (ισούται µε τηνένωση µιας συλλογής (άπειρων στοιχείων) από αριθµήσιµα σύνολα(σ k )) 4
5 Πράξεις σε Λέξεις Παράθεση : Αν x = x 1 x 2 L x m και y = y 1 y 2 L y n xy = x 1 x 2 L x m y 1 y 2 L y n xy =? Για µια λέξη w Σ *, η επανάληψη k φορών της w είναι: Π.χ. (λα) 3 = λαλαλα Η u είναι Υπολέξη µιας λέξης w αν και µόνοανυπάρχουνλέξειςx και y τέτοιες ώστε w= xuy Πχ. 235 υπολέξη της , 235 υπολέξη της 1235 Είναι ανακλαστική σχέση?? Ναι, γιατί (a,a) Υπολέξη, a Σ 5
6 Πράξεις σε Λέξεις Αντίστροφη µιας λέξης w, w R : Η λέξη διαβασµένη από το τέλος προς στην αρχή (επαγωγικός ορισµός): 1. (βάση) Αν w =0 w R =w=e 2. (επαγωγικό βήµα) Αν w =n+1 και w = y α, για κάποιο y * και α w R = α y R Πχ. οτι R = ι (οτ) R = ιτ ο R = ιτο 6
7 Παράδειγµα Να δειχθεί ότι x, y Σ *, (xy) R = y R x R (Με επαγωγή) Απόδειξη. (Με επαγωγή στο y ) Βάση: y =0 (y=e) (xy) R = (xe) R = x R y R x R = e R x R = e x R =x R Επαγωγική Υπόθεση: Αν z n (xz) R = z R x R Επαγωγικό Βήµα: y Σ *, y =k+1, y = zσ, z =k, σ Σ (xy) R = (x (zσ) ) R = ((xz) σ) R = σ (xz) R = σ z R x R y R x R = (zσ) R x R = σ z R x R 7
8 Γλώσσες Ένα υποσύνολο της Θήκης Kleene Σ * του αλφαβήτου Σ, L Σ *, καλείται γλώσσα πάνω στο αλφάβητο Σ. Πχ. L={οχι, ναι} είναι γλώσσα του αλφάβητου Σ ={α, β, γ,..., ω} Ελληνική γλώσσα είναι γλώσσα του αλφάβητου Σ ={α, β, γ,..., ω} Γλώσσα προγραµµατισµού C είναι γλώσσα του αλφάβητου Σ=χαρακτήρες ASCII Τοσύνολοόλωντωνδυαδικώνλέξεωνπουτοσύµβολο 0 εµφανίζεται n φορές, ακολουθούµενο από το σύµβολο 1 άλλες n φορές, για οποιοδήποτε ακέραιο n 0. L ={ e, 01, 0011, , L }. Τοσύνολοόλωντωνδυαδικώνλέξεωνστιςοποίεςοαριθµός των φορών που υπάρχει το σύµβολο 0 ισούται µε τοναριθµό των φορών που υπάρχει το σύµβολο 1. L = { e, 01, 10, 0011, 0101, 1001, 0110, 1010, 1100, L }. 8
9 Παρατηρείστε Σε οποιαδήποτε γλώσσα: το αλφάβητο στο οποίο ορίζεται η γλώσσα είναι πεπερασµένο. µπορείναπεριέχειάπειροαριθµό απόλέξεις Π.χ.? περιέχει στοιχεία (λέξεις) πεπερασµένου µεγέθους 9
10 Γλώσσες Πρόταση 3.1. Για οποιοδήποτε αλφάβητο Σ, το σύνολο 2 Σ* είναι µη αριθµήσιµο. Απόδειξη. Υποθέτουµεότι2 Σ* είναι αριθµήσιµο 2 Σ* απείρως αριθµήσιµο. Υπάρχει µία ένα-προς-ένα και επί συνάρτηση g: 2 Σ* N. To Σ * είναι απείρως αριθµήσιµο Υπάρχει µία ένα-προς-ένα και επί συνάρτηση f: Σ * N. Υπάρχει µία ένα-προς-ένα και επί συνάρτηση f 1 : 2 Σ * 2 N. Υπάρχει η αντίστροφη της f 1 συνάρτηση h = f 1-1 : 2 N 2 Σ *, η οποία επίσης είναι ένα-προς-ένα και επί. Ησύνθεσηg h: 2 N N είναι επίσης ένα-προς-ένα και επί. g(h(a)) : 2 N 2 Σ * N 2 N είναι απείρως αριθµήσιµο Αντίφαση στο ΘεώρηµατουCantor. 10
11 Πράξεις σε Γλώσσες: Συνολοθεωρητικές Ένωση: L 1 L 2 = { w w L 1 ή w L 2 } Π.χ. {ακακία, κάκτος} {µαργαρίτα, ρόδι}= {ακακία, κάκτος, µαργαρίτα, ρόδι} Τοµή: L 1 L 2 = { w w L 1 και w L 2 } Π.χ. {00, 01, 11 } {10, 11, 11=?? {11} Συµπλήρωµα: της L είναι το σύνολο των λέξεων που δεν ανήκουν στην L (αλλά ανήκουν στη Θήκη Kleene Σ*, L Σ*) Π.χ. 11
12 Πράξεις σε Γλώσσες: Γλωσσολογικές Πράξεις Σύµπτηξη: δύο γλωσσών L 1, L 2 είναι µια γλώσσα που περιλαµβάνει όλες οι λέξεις που σχηµατίζονται συµπτήσσοντας µία λέξη από την L 1 µε µία λέξη από τη L 2. L 1 L 2 = { xy x L 1 και y L 1 } Πχ. L 1 = {συν}, L 2 ={ύπαρξη, οµιλία}, L 1 L 2 = {συνύπαρξη, συνοµιλία} Όταν L 1 = L 2 L 2 = LL.. Για κάθε ακέραιο k 1, L k = L k-1 L Π.χ. L = {λα, ο}, L 2 ={λαλα, οο, ολα, λαο } Ησύµπτυξη είναι αντιµεταθετική πράξη? 12
13 Γλωσσολογικές Πράξεις Η Θήκη Kleene L * µίας γλώσσας L είναι L * = U k 0 L k. Π.χ. {αα}* ={e, αα, αααα, } {αβ, βα, αα, ββ}* =? ={L 2 }*, L = {α,β} ={e, αβ, βα, αα, ββ, αβ, αββα, αβαα, αβββ, βααβ, βαβα, βααα, βαββ, } * = {e} 13
14 Γλωσσολογικές Πράξεις Επιθεµατική γλώσσα Prefix(L)= { w wv L για κάποια λέξη v} περιέχει τα προθέµατα λέξεων της γλώσσας. Π.χ. L = {oλα, ενα }, Prefix(L)= { ο, ολ, ολα, ε, εν, ενα } Καταληκτική γλώσσα Syffix(L)= { w vw L γιακάποιαλέξηv} περιέχειτιςκαταλήξειςτωνλέξεωντηςγλώσσας. Π.χ. L = {oλα, ενα }, Suffix(L)= {α, λα, ολα, να, ενα } 14
15 Γλωσσολογικές Πράξεις Η ανάστροφη γλώσσα L R της L, L R = { w R w= uα L, a Σ, w R = αu R } περιέχει όλες λέξεις της γλώσσας «διαβασµένες από το τέλος προς την αρχή» Π.χ. L={oλα, ενα } L R ={αλο, ανε} H διάζευξη των λέξεων a και b είναι η λογική διάζευξη των a και b Π.χ. 0 0 = 0, 0 1 = 1 0 = 1 1 = 1 H διάζευξη L 1 L 2 = { x y x L 1,y L 2, και x = y } 15
16 Γλωσσολογικές Πράξεις Η γλώσσα δεξιού πηλίκου L 1 / L 2 των γλωσσών L 1 και L 2 L 1 / L 2 = { x xy L 1 για κάποια λέξη y L 2 } Π.χ. L 1 = { w { 0, 1 } * } # 0 (w) είναι άρτιος} L 2 = { 0 } L 1 / L 2 = { w { 0, 1 } * } # 0 (w) είναι περιττός} Η ανάµιξη Mix(L 1,L 2 )={ ρ 1 σ 1 τ 1 L ρ k σ k τ k ρ i, τ i L 1 και σ i L 2,1 i k} Π.χ. L 1 ={σουβλακια, σιεφταλια} L 2 ={πίττα}, k=1 Mix(L 1, L 2 ) ={σουβλακιαπιττασιεφταλια} 16
17 Γλωσσολογικές Πράξεις Η µεγιστοτική Max(L) = { w L ηλέξηw δεν είναι γνήσιο πρόθεµαλέξηςτηςl} περιέχει όλες τις λέξεις της L οι οποίες δεν είναι γνήσια προθέµατα άλλων λέξεων της L. Π.χ. L 1 ={συν, συνοµιλια, υπερ, υπερβολη, καβγας} Max(L 1 ) ={συνοµιλια, υπερβολή, καβγάς} 17
18 Παραδείγµατα Γλωσσών 3.1. Παλλιδροµικές Γλώσσες: Kάθε λέξη της γλώσσας διαβάζεται το ίδιο από αριστερά και από δεξιά Π.χ. L={Νίψον ανοµήµατα µη µόναν όψιν} Μια λέξη w Σ* είναι παλίνδροµοανw = w R Μια γλώσσα είναι παλλιδροµική αν: Pal Σ = {w Σ * w = w R } Επαγωγικά: Bάση: e Pal Σ και για κάθε σύµβολο σ Σ, σ Pal Σ. Επαγωγικό Βήµα: Για κάθε λέξη w Σ * και σύµβολο σ Σ, σwσ Pal Σ. Ποίο είναι το µήκος µιας τέτοιας λέξης?? 18
19 Παραδείγµατα Γλωσσών Γλώσσες µε σύνολα φυσικών αριθµών Λ =αυθαίρετο σύνολο φυσικών αριθµών Binaries(Λ) = { w { 0, 1 } * w = Bin (λ) για κάποιο φυσικό αριθµό λ Λ} και Unaries(Λ) = { w { 1 } * w = Un(λ) για κάποιο φυσικό αριθµό λ Λ} = { 1 λ γιακάποιοφυσικόαριθµό λ Λ ={1, 11, 111, 1111} 19
20 Ασκήσεις Αποδείξτε (L 1 L 2 ) R = L 2R L 1 R Απόδειξη. (L 1 L 2 ) R = w R w L 1 L 2 } = { (uv) R u L 1 και v L 2 = { v R u R u L 1 και v L 2 } = { v R v L 2 }{ u R u L 1 } = L 2R L R 1 20
21 21
Θεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 1. Μαθηματικό Υπόβαθρο 23, 26 Ιανουαρίου 2007 Δρ. Παπαδοπούλου Βίκη 1 1.1. Σύνολα Ορισμός : Σύνολο μια συλλογή από αντικείμενα Στοιχεία: Μέλη συνόλου Τα στοιχεία
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο
Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνολα Συναρτήσεις και Σχέσεις Γραφήματα Λέξεις και Γλώσσες Αποδείξεις ΕΠΛ 211 Θεωρία
Διαβάστε περισσότεραΠοιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί);
Μοντελοποίηση του Υπολογισµού Στοιχεία Θεωρίας Υπολογισµού (): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ποιές οι θεµελιώδεις δυνατότητες
Διαβάστε περισσότεραΣτοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές
Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 1 /
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 2: Μαθηματικό Υπόβαθρο
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 2: Μαθηματικό Υπόβαθρο Τι θα κάνουμε σήμερα Συναρτήσεις & Σχέσεις (0.2.3) Γράφοι (Γραφήματα) (0.2.4) Λέξεις και Γλώσσες (0.2.5) Αποδείξεις (0.3) 1
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων Λύσεις Άσκηση Ορίζουμε τη συναρμογή δύο γλωσσών Α και Β ως ΑΒ = { uv u A, v B }. (α) Έστω Α = {α,β,γ} και Β =. Να περιγράψετε τη γλώσσα ΑΒ. (β) Θεωρήστε τις γλώσσες L, M και N. Να δείξετε
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων Λύσεις Άσκηση Έστω αλφάβητο Σ και γλώσσες Α, Β επί του αλφάβητου αυτού. Για κάθε μια από τις πιο κάτω περιπτώσεις να διερευνήσετε κατά πόσο Γ Δ, ή, Δ Γ, ή και τα δύο. Σε περίπτωση, που
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
ΕΠΛ2: Θεωρία Υπολογισμού και Πολυπλοκότητα Σειρά Προβλημάτων Λύσεις Άσκηση Έστω αλφάβητο Σ και γλώσσες Λ, Λ 2, Λ επί του αλφάβητου αυτού. Να διερευνήσετε κατά πόσο ισχύει κάθε μια από τις πιο κάτω σχέσεις.
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 4. Μη Ντετερμινιστικά Πεπερασμένα Αυτόματα 9,19 Φεβρουαρίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Μοντέλα Υπολογισμού Μη Ντετερμινιστικό Πεπερασμένα Αυτόματα: Διαφορά
Διαβάστε περισσότεραΠεριεχόμενα Συμβολοσειρές Γλώσσες ΘΥ 6: Συμβολοσειρές & γλώσσες Επ. Καθ. Π. Κατσαρός 24/07/2014 Επ. Καθ. Π. Κατσαρός ΘΥ 6: Συμβολοσειρές & γλώσσες
ΘΥ 6: Συμβολοσειρές & γλώσσες 24/07/2014 Θεωρία Υπολογισμού Ενότητα 6: Συμβολοσειρές & γλώσσες Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 4. Πεπερασμένα Αυτόματα 6 Φεβρουαρίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Μοντέλα Υπολογισμού 1930 : Μηχανή Turing : αφαιρετική μηχανή (μοντελοποίηση ενός υπολογιστή)
Διαβάστε περισσότεραf(t) = (1 t)a + tb. f(n) =
Παράρτημα Αʹ Αριθμήσιμα και υπεραριθμήσιμα σύνολα Αʹ1 Ισοπληθικά σύνολα Ορισμός Αʹ11 (ισοπληθικότητα) Εστω A, B δύο μη κενά σύνολα Τα A, B λέγονται ισοπληθικά αν υπάρχει μια συνάρτηση f : A B, η οποία
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 1: Μαθηματικό Υπόβαθρο
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 1: Μαθηματικό Υπόβαθρο Τι θα κάνουμε σήμερα Εισαγωγικά (0.1) Σύνολα (0.2.1, 0.2.2) Συναρτήσεις & Σχέσεις (;;) (0.2.3) 1 Περιοχές που θα μελετήσουμε
Διαβάστε περισσότεραΑΣΚΗΣΕΙΣ ΓΙΑ ΕΠΑΝΑΛΗΨΗ i) 50% ii) 30% ,
ΑΣΚΗΣΕΙΣ ΓΙΑ ΕΠΑΝΑΛΗΨΗ Έστω ο δειγματικός χώρος Ω = {0,,,,, 00} Δίνονται και οι πιθανότητες κ =,,, 00 Να υπολογίσετε την πιθανότητα P(0) Έστω Ω ένας δειγματικός χώρος με πεπερασμένο πλήθος στοιχείων και
Διαβάστε περισσότεραΣύνοψη Προηγούµενου. Κανονικές Γλώσσες (1) Προβλήµατα και Γλώσσες. Σε αυτό το µάθηµα. ιαδικαστικά του Μαθήµατος.
Σύνοψη Προηγούµενου Κανονικές Γλώσσες () ιαδικαστικά του Μαθήµατος. Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Εισαγωγή: Υπολογισιµότητα και Πολυπλοκότητα. Βασικές
Διαβάστε περισσότεραΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 1: Εισαγωγή Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { x x η τιμή της αριθμητικής έκφρασης 10 2n + 10 n + 1, n 1} (β) { a i b j c k d m i, j,
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Έστω αλφάβητο Σ και γλώσσες Λ 1, Λ 2 επί του αλφάβητου αυτού. Να διερευνήσετε κατά πόσο ισχύει κάθε μια από τις πιο κάτω σχέσεις. Σε περίπτωση που μια σχέση ισχύει να
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 7: Πεπερασμένη αναπαράσταση γλωσσών Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,
Διαβάστε περισσότεραΑ. ΣΥΝΟΛΑ-ΥΠΟΣΥΝΟΛΑ-ΙΣΑ ΣΥΝΟΛΑ
ΜΑΘΗΜΑ 22 Κεφάλαιο 5o : Πιθανότητες Υποενότητα 5.1: Σύνολα. Θεµατικές Ενότητες: 1. Σύνολα-Υποσύνολα-Ίσα Σύνολα. 2. ιαγράµµατα Venn. 3. Πράξεις µε Σύνολα. Α. ΣΥΝΟΛΑ-ΥΠΟΣΥΝΟΛΑ-ΙΣΑ ΣΥΝΟΛΑ ΟΡΙΣΜΟΙ Σύνολο είναι
Διαβάστε περισσότεραΚανονικές Γλώσσες. Κανονικές Γλώσσες. Κανονικές Γλώσσες και Αυτόματα. Κανονικές Γλώσσες και Αυτόματα
Κανονικές Γλώσσες Κανονικές Γλώσσες Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Κανονική γλώσσα αν παράγεται από κανονική γραμματική. Παραγωγές P (V Σ) Σ * ((V Σ) ε) Παραγωγές μορφής:
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
ΕΠΛ: Θεωρία Υπολογισμού και Πολυπλοκότητα Σειρά Προβλημάτων Λύσεις Άσκηση Θεωρείστε τις γλώσσες Α = { n n } και Β = {w η w είναι λέξη επί του αλφαβήτου {,} τ.ώ. w }. (α) Για κάθε μια από τις πιο κάτω γλώσσες
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 7. Κατηγορηματικές Γραμματικές 27,2 Φεβρουαρίου, 9 Μαρτίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Κατηγορηματικές Γραμματικές Ή Γραμματικές Χωρίς Συμφραζόμενα Παράδειγμα.
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 10. Μηχανές Turing 20,23 Μαρτίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Μηχανές Turing: Ένα Γενικό Μοντέλο Υπολογισμού Ποια μοντέλα υπολογισμού μπορούν να δεχθούν γλώσσες
Διαβάστε περισσότεραΘεωρία Υπολογισμού Αλφάβητα, Γλώσσες, Κανονικές Εκφράσεις
1 Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 6 : Αλφάβητα, Γλώσσες, Κανονικές Εκφράσεις Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Μαθήματα στο Τμήμα Μηχανικών
Διαβάστε περισσότεραΣτοιχεία Θεωρίας Υπολογισµού (2): Πεπερασµένα Αυτόµατα, Κανονικές Εκφράσεις
Στοιχεία Θεωρίας Υπολογισµού (2): Πεπερασµένα Αυτόµατα, Κανονικές Εκφράσεις Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού
Διαβάστε περισσότεραΦροντιστήριο 10 Λύσεις
Άσκηση 1 Φροντιστήριο 10 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {0,1} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.
Διαβάστε περισσότεραΘεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος
Περιγραφή μαθήματος Θεωρία Υπολογισμού Άρτιοι ΑΜ Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας (Θεωρία Αλγορίθμων). Διδάσκων: Σταύρος Κολλιόπουλος
Διαβάστε περισσότεραΘεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr
Θεωρία Υπολογισμού Άρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr Περιγραφή μαθήματος Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας
Διαβάστε περισσότεραΚανονικές Γλώσσες. ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Κανονικές Γλώσσες ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κανονικές Γλώσσες Κανονική γλώσσα αν
Διαβάστε περισσότεραιµελής Σχέση ιατεταγµένο ζεύγος (α, β): ύο αντικείµενα (όχι κατ ανάγκη διαφορετικά) σε καθορισµένη σειρά. Γενίκευση: διατεταγµένη τριάδα (α, β, γ), δι
Σχέσεις ιδάσκοντες: Φ. Αφράτη, Σ. Ζάχος,. Σούλιου Επιµέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο ιµελής Σχέση ιατεταγµένο ζεύγος (α, β):
Διαβάστε περισσότεραΘεωρία Υπολογισμού. Ενότητα 5 : Λογικά Επιχειρήματα, Αλφάβητα & Γλώσσες (2/2) Αλέξανδρος Τζάλλας
1 Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 5 : Λογικά Επιχειρήματα, Αλφάβητα & Γλώσσες (2/2) Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Μαθήματα Τμήμα Μηχανικών
Διαβάστε περισσότεραΔιδάσκοντες: Δ. Φωτάκης, Δ. Σούλιου Επιμέλεια διαφανειών: Δ. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Σχέσεις Διδάσκοντες: Δ. Φωτάκης, Δ. Σούλιου Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Διμελής Σχέση Διατεταγμένο ζεύγος (α, β):
Διαβάστε περισσότεραΣημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης
Σημειώσεις Λογικής I Εαρινό Εξάμηνο 2011-2012 Καθηγητής: Λ. Κυρούσης 2 Τελευταία ενημέρωση 28/3/2012, στις 01:37. Περιεχόμενα 1 Εισαγωγή 5 2 Προτασιακή Λογική 7 2.1 Αναδρομικοί Ορισμοί - Επαγωγικές Αποδείξεις...................
Διαβάστε περισσότεραΓραµµατικοί κανόνες Κανόνες µεταγραφής συµβόλων
Πανεπιστήµιο Αθηνών, Τµήµα Ε.Μ.Μ.Ε. Εαρινό εξάµηνο 2004 Σ. A. Μοσχονάς, Γενική Γλωσσολογία 25 Μαΐου 2004 Γραµµατικοί κανόνες - Κανόνες µεταγραφής Ιεραρχία γραµµατικών: Γραµµατικές Πεπερασµένων Καταστάσεων,
Διαβάστε περισσότεραΠανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 4: Εισαγωγή / Σύνολα
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 4: Εισαγωγή / Σύνολα Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { a k b m c n k < m ή m > 2n, όπου k,m,n 0 } Μια γραμματική για τη γλώσσα έχει ως εξής:
Διαβάστε περισσότεραΜοντελοποίηση Υπολογισμού. Γραμματικές Πεπερασμένα Αυτόματα Κανονικές Εκφράσεις
Μοντελοποίηση Υπολογισμού Γραμματικές Πεπερασμένα Αυτόματα Κανονικές Εκφράσεις Προβλήματα - Υπολογιστές Δεδομένου ενός προβλήματος υπάρχουν 2 σημαντικά ερωτήματα: Μπορεί να επιλυθεί με χρήση υπολογιστή;
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { xyw 1w 2 x, y {a, b}, w 1 = a n, w 2 = b 2n, όπου, αν x=y=a, τότε n = 2k, διαφορετικά
Διαβάστε περισσότεραΣχέσεις. ιδάσκοντες:. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Σχέσεις ιδάσκοντες:. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο ιμελής Σχέση ιατεταγμένο ζεύγος (α, β): ύο αντικείμενα
Διαβάστε περισσότερα771 Η - Θεωρία Υπολογισµών και Αλγορίθµων
771 Η - Θεωρία Υπολογισµών και Αλγορίθµων Σηµειώσεις Μέρος 1 ο ιδάσκων: Το παρόν αποτελεί σηµειώσεις που αντιστοιχούν σε µέρος των διαλέξεων για το µάθηµα 771 Η - Θεωρία Υπολογισµών και Αλγορίθµων του
Διαβάστε περισσότεραΜεταγλωττιστές. Ενότητα 2: Τυπικές γλώσσες (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ
Μεταγλωττιστές Ενότητα 2: Τυπικές γλώσσες (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότερα3 Αναδροµή και Επαγωγή
3 Αναδροµή και Επαγωγή Η ιδέα της µαθηµατικής επαγωγής µπορεί να επεκταθεί και σε άλλες δοµές εκτός από το σύνολο των ϕυσικών N. Η ορθότητα της µαθηµατικής επαγωγής ϐασίζεται όπως ϑα δούµε λίγο αργότερα
Διαβάστε περισσότεραΦροντιστήριο #4 Λυμένες Ασκήσεις Μαθηματική Επαγωγή 13/3/2018
Φροντιστήριο #4 Λυμένες Ασκήσεις Μαθηματική Επαγωγή 1//018 Σημείωση: Όλες οι παρακάτω αποδείξεις ακολουθούν την επαγωγική μέθοδο. Κάποια από τα παραδείγματα έχουν αποδειχθεί και με άλλες μεθόδους στο Φροντιστήριο
Διαβάστε περισσότερα771 Η - Θεωρία Υπολογισµών και Αλγορίθµων
771 Η - Θεωρία Υπολογισµών και Αλγορίθµων Σηµειώσεις Μέρος 1 ο ιδάσκων: Το παρόν αποτελεί σηµειώσεις που αντιστοιχούν σε µέρος των διαλέξεων για το µάθηµα 771 Η - Θεωρία Υπολογισµών και Αλγορίθµων του
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2)
Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Κανονικές Εκφράσεις (1.3) Τυπικός Ορισμός Ισοδυναμία με κανονικές γλώσσες Μη Κανονικές
Διαβάστε περισσότεραΣχέσεις. Διμελής Σχέση. ΣτοΊδιοΣύνολο. Αναπαράσταση
Διμελής Σχέση Σχέσεις Διδάσκοντες: Φ. Αφράτη, Δ. Επιμέλεια διαφανειών: Δ. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Διατεταγμένο ζεύγος (α, β): Δύο αντικείμενα
Διαβάστε περισσότεραΕλληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 3 : Γραφήματα & Αποδείξεις. Αλέξανδρος Τζάλλας
1 Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 3 : Γραφήματα & Αποδείξεις Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Τμήμα Μηχανικών Πληροφορικής
Διαβάστε περισσότεραΦροντιστήριο 9 Λύσεις
Άσκηση 1 Φροντιστήριο 9 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {a,b} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.
Διαβάστε περισσότεραΠιθανότητες Γεώργιος Γαλάνης Κωνσταντίνα Παναγιωτίδου
Πιθανότητες Γεώργιος Γαλάνης Κωνσταντίνα Παναγιωτίδου Σχολή Ναυτικών οκίµων Ακ. Ετος 2018-2019 Εισαγωγικά Βασικοί Ορισµοί Πράξεις Γεγονότων Σχεδιάγραµµα της Υλης Βασικές Εννοιες της Θεωρίας Πιθανοτήτων
Διαβάστε περισσότεραΓραµµατικοί κανόνες Κανόνες µεταγραφής συµβόλων
Πανεπιστήµιο Αθηνών, Τµήµα Ε.Μ.Μ.Ε. Εαρινό εξάµηνο 2005 Σ. A. Μοσχονάς, Γενική Γλωσσολογία 25 & 26 Μαΐου 2005 Γραµµατικοί κανόνες - Κανόνες µεταγραφής Ιεραρχία γραµµατικών: Γραµµατικές Πεπερασµένων Καταστάσεων,
Διαβάστε περισσότεραΠ(n) : 1 + a + + a n = an+1 1 a 1. a 1. + a k+1 = ak+2 1
Διακριτά Μαθηματικά [Rosen, κεφ. 5] Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών, ΕΚΠΑ Νοέμβριος 2018 Επαγωγή και Αναδρομή [Rosen, κεφ. 5] Μαθηματική επαγωγή [Rosen 5.1] Μέθοδος απόδειξης μιας μαθηματικής
Διαβάστε περισσότεραν ν Άσκηση 1. Α =Α, Β =Β. Λύση Άσκηση Α Β =Β Α, Α Β=ΒΑ. Β Α= ( Β Β)( ΑΒ ) Β Α=Ι( ΑΒ ) Β Α=ΑΒ. Άσκηση = Α Α Α Α=.
Άσκηση Α, Β ατιστρέψιµοι πίακες µε ΑΒ=Α, ΒΑ=Β είξτε ότι ος τρόπος Α = Α Α = ( Α Β) Α = Α Β Α Α = Α Οµοίως Α = Α Β = Α ( Β Α) = Α Β Α ος τρόπος Α =Α Α= ( Α Β) Α=Α ( Β Α ) =Α Β=Α Οµοίως Α =Α, Β =Β Β =Β Β
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΛΟΠΟΝΝΗΣΟΥ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΛΟΠΟΝΝΗΣΟΥ ΤΜΗΜΑ ΟΙΚΟΝΟΜΙΑΣ ΔΙΟΙΚΗΣΗΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΜΗΜΑ ΟΙΚΟΝΟΜΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΜΑΘΗΜΑΤΙΚΑ Ι 27 ΣΕΠΤΕΜΒΡΙΟΥ 2016 ΕΙΣΑΓΩΓΗ Ο απειροστικός λογισμός αποτελείται από το διαφορικό και ολοκληρωτικό
Διαβάστε περισσότεραΠαράδειγμα δομικής επαγωγής Ορισμός δομικής επαγωγής Συμβολοσειρές Γλώσσες Δυαδικά δένδρα Μαθηματικά Πληροφορικής 3ο Μάθημα Αρχικός συγγραφέας: Ηλίας
Μαθηματικά Πληροφορικής 3ο Μάθημα Αρχικός συγγραφέας: Ηλίας Κουτσουπιάς Τροποποιήσεις: Σταύρος Κολλιόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Δομική επαγωγή Η ιδέα της μαθηματικής
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητα Ενδιάμεση Εξέταση Ημερομηνία : Παρασκευή, 17 Μαρτίου 2017 Διάρκεια : 9.00 10.30 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο:
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2018 Τελική Εξέταση Ιουνίου Λύσεις
ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 018 Τελική Εξέταση Ιουνίου Λύσεις Προσοχή: Οι παρακάτω λύσεις είναι ενδεικτικές, μπορεί να υπάρχουν και άλλες που επίσης να είναι σωστές. Θέμα 1: [16 μονάδες]
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
ΕΠΛ2: Θεωρία Υπολογισμού και Πολυπλοκότητα Σειρά Προβλημάτων Λύσεις Άσκηση Να βρείτε το σφάλμα στην πιο κάτω απόδειξη. Ισχυρισμός: Όλα τα βιβλία που έχουν γραφτεί στη Θεωρία Υπολογισμού έχουν τον ίδιο
Διαβάστε περισσότεραΓενικό πλάνο. Μαθηµατικά για Πληροφορική. Παράδειγµα αναδροµικού ορισµού. οµική επαγωγή ΠΑΡΑ ΕΙΓΜΑ. 3ο Μάθηµα
Γενικό πλάνο Μαθηµατικά για Πληροφορική 3ο Μάθηµα Ηλίας Κουτσουπιάς, Γιάννης Εµίρης Τµήµα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήµιο Αθηνών 14/10/2008 1 Παράδειγµα δοµικής επαγωγής 2 Ορισµός δοµικής
Διαβάστε περισσότεραΜαθηµατικά για Πληροφορική
Μαθηµατικά για Πληροφορική 3ο Μάθηµα Ηλίας Κουτσουπιάς, Γιάννης Εµίρης Τµήµα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήµιο Αθηνών 14/10/2008 14/10/2008 1 / 24 Γενικό πλάνο 1 Παράδειγµα δοµικής επαγωγής
Διαβάστε περισσότερα2 n N: 0, 1,..., n A n + 1 A
Θεωρία Υπολογισμού Ενότητα 5: Τεχνικές απόδειξης & Κλειστότητα Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 5: Κανονικές Εκφράσεις
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 5: Κανονικές Εκφράσεις Τι θα κάνουμε σήμερα Κλειστότητα Κανονικών Πράξεων (1.2.3) Εισαγωγή στις Κανονικές Εκφράσεις Τυπικός ορισμός της κανονικής
Διαβάστε περισσότεραΣυνδυαστική Απαρίθµηση Υπολογισµός (µε συνδυαστικά επιχειρήµατα) του πλήθους των διαφορετικών αποτελεσµάτων ενός «πειράµατος». «Πείραµα»: διαδικασία µ
Συνδυαστική Απαρίθµηση ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιµέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Συνδυαστική Απαρίθµηση Υπολογισµός
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { a m b n c p m,n,p 0 και είτε m + n = p είτε m = n + p } (β) { xx rev yy rev x, y {a,b}
Διαβάστε περισσότεραΠΛΗ 12 - Πρόσθεση πινάκων, βαθμωτός πολλαπλασιασμός, γινόμενο πινάκων, ανάστροφος ενός πίνακα
1.1 Πρόσθεση πινάκων, βαθμωτός πολλαπλασιασμός, γινόμενο πινάκων, ανάστροφος ενός πίνακα Η έννοια του πίνακα. Ένας πίνακας Α με διαστάσεις mxn, δηλαδή με m γραμμές και n στήλες, με στοιχεία πραγματικούς
Διαβάστε περισσότεραΗ δυαδική σχέση M ( «παράγει σε ένα βήμα» ) ορίζεται ως εξής: (q, w) M (q, w ), αν και μόνο αν w = σw, για κάποιο σ Σ
Πεπερασμένα Αυτόματα (ΠΑ) Τα πεπερασμένα αυτόματα είναι οι απλούστερες «υπολογιστικές μηχανές». Δεν έχουν μνήμη, μόνο μία εσωτερική μονάδα με πεπερασμένο αριθμό καταστάσεων. Διαβάζουν τη συμβολοσειρά εισόδου
Διαβάστε περισσότεραΠαράδειγμα δομικής επαγωγής Ορισμός δομικής επαγωγής Συμβολοσειρές Γλώσσες Δυαδικά δένδρα Μαθηματικά Πληροφορικής 3ο Μάθημα Τμήμα Πληροφορικής και Τηλ
Μαθηματικά Πληροφορικής 3ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Δομική επαγωγή Η ιδέα της μαθηματικής επαγωγής μπορεί να επεκταθεί και σε άλλες δομές εκτός από το σύνολο N
Διαβάστε περισσότεραΜΑΣ121: ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ I Εαρινό εξάμηνο , Διδάσκων: Γιώργος Γεωργίου ΕΝΔΙΑΜΕΣΗ ΕΞΕΤΑΣΗ, Διάρκεια: 2 ώρες 18 Νοεμβρίου, 2017
ΜΑΣ: ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ I Εαρινό εξάμηνο 07-08, Διδάσκων: Γιώργος Γεωργίου ΕΝΔΙΑΜΕΣΗ ΕΞΕΤΑΣΗ, Διάρκεια: ώρες 8 Νοεμβρίου, 07 Δίνονται 4 προβλήματα που αντιστοιχούν σε 0 μονάδες με άριστα το 00! ΟΝΟΜΑ: Αρ.
Διαβάστε περισσότεραΕρωτήσεις πολλαπλής επιλογής
Ερωτήσεις πολλαπλής επιλογής 1. * Η µέθοδος της µαθηµατικής επαγωγής χρησιµοποιείται για την απόδειξη προτάσεων Ρ (ν), όταν Α. ν R Β. ν Q Γ. ν R*. ν N Ε. κανένα από τα προηγούµενα 2. * Για τους ακεραίους
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων
ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων Μελετάµε εδώ τη συνθήκη της αύξουσας αλυσίδας υποπροτύπων και τη συνθήκη της φθίνουσας αλυσίδας υποπροτύπων. Αυτές συνδέονται µεταξύ τους µε την έννοια της συνθετικής σειράς
Διαβάστε περισσότεραΓλώσσες Χωρίς Συμφραζόμενα
Γλώσσες Χωρίς Συμφραζόμενα Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης, Δ. Σούλιου Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Γλώσσα χωρίς
Διαβάστε περισσότεραR={α/ αρητός ή άρρητος αριθμός }
o ΛΥΚΕΙΟ ΠΕΤΡΟΥΠΟΛΗΣ Οι ρητοί και οι άρρητοι αριθμοί λέγονται πραγματικοί αριθμοί. Το σύνολο που περιέχει όλους τους πραγματικούς αριθμούς λέγεται σύνολο των πραγματικών αριθμών και συμβολίζεται με R.
Διαβάστε περισσότεραm + s + q r + n + q p + s + n, P Q R P Q P R Q R F G
Λύσεις Θεμάτων Θεμελίων των Μαθηματικών 1. Εστω A, B, C τυχόντα σύνολα. Να δειχθεί ότι A (B C) (A B) (A C). Απόδειξη. Εστω x τυχαίο στοιχείο του A (B C). Εξ ορισμού, το x ανήκει σε ακριβώς ένα από τα A,
Διαβάστε περισσότεραΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 118 ερωτήσεις θεωρίας με απάντηση 324 416 ασκήσεις για λύση. 20 συνδυαστικά θέματα εξετάσεων
ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ 118 ερωτήσεις θεωρίας με απάντηση 34 416 ασκήσεις για λύση ερωτήσεις κατανόησης λυμένα παραδείγματα 0 συνδυαστικά θέματα εξετάσεων Π Ε Ρ Ι Ε Χ Ο Μ Ε Ν Α Εισαγωγική ενότητα Το λεξιλόγιο
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων
ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων Μελετάμε εδώ τη συνθήκη της αύξουσας αλυσίδας υποπροτύπων και τη συνθήκη της φθίνουσας αλυσίδας υποπροτύπων Αυτές συνδέονται μεταξύ τους με την έννοια της συνθετικής σειράς
Διαβάστε περισσότεραΜαθηματική Ανάλυση Ι
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Μαθηματική Ανάλυση Ι Ενότητα 1: Σύνολα, Πραγματικοί αριθμοί Επίκ. Καθηγητής Θ. Ζυγκιρίδης e-mail: tzygiridis@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών
Διαβάστε περισσότεραΑσκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές»
Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» Κεφάλαιο : Το σύνολο των πραγµατικών αριθµών Α Οµάδα Εξετάστε αν οι παρακάτω προτάσεις είναι αληθείς ή ψευδείς αιτιολογήστε πλήρως την απάντησή σας) α)
Διαβάστε περισσότερα771 Η - Θεωρία Υπολογισµών και Αλγορίθµων
771 Η - Θεωρία Υπολογισµών και Αλγορίθµων Σηµειώσεις Μέρος 2 ο ιδάσκων: Το παρόν αποτελεί σηµειώσεις που αντιστοιχούν σε µέρος των διαλέξεων για το µάθηµα 771 Η - Θεωρία Υπολογισµών και Αλγορίθµων του
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { xyxy rev x {a, b}, y {a, b} * } (α) Μια γραμματική για τη γλώσσα έχει ως εξής: S as a
Διαβάστε περισσότεραK15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων
K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα
Διαβάστε περισσότεραΙ. ΠΡΑΞΕΙΣ. Ορισµός 2 A. ΕΣΩΤΕΡΙΚΗ ΠΡΑΞΗ. Έστω E ένα µη κενό σύνολο. Κάθε απεικόνιση f: E x E E λέγεται εσωτερική πράξη επί του E.
Ι. ΠΡΑΞΕΙΣ A. ΕΣΩΤΕΡΙΚΗ ΠΡΑΞΗ Ορισµός Έστω E ένα µη κενό σύνολο. Κάθε απεικόνιση f: E x E E λέγεται εσωτερική πράξη επί του E. Παραδείγµατα:. Η ισότητα x y = x y είναι µια πράξη επί του *. 2. Η ισότητα
Διαβάστε περισσότεραΦροντιστήριο 7 Λύσεις
Άσκηση 1 Θεωρείστε το πιο κάτω αυτόματο στοίβας: Φροντιστήριο 7 Λύσεις (α) Να εξηγήσετε με λόγια ποια γλώσσα αναγνωρίζεται από το αυτόματο. (β) Να δώσετε τον τυπικό ορισμό του αυτομάτου. (γ) Να δείξετε
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing που να διαγιγνώσκει τη γλώσσα { a 2n b n c 3n n 2 } : H ζητούμενη μηχανή Turing μπορεί να διατυπωθεί ως την
Διαβάστε περισσότεραHEAD INPUT. q0 q1 CONTROL UNIT
Πεπερασμένα Αυτόματα (ΠΑ) Τα πεπερασμένα αυτόματα είναι οι απλούστερες «υπολογιστικές μηχανές». Δεν έχουν μνήμη, μόνο μία εσωτερική μονάδα με πεπερασμένο αριθμό καταστάσεων. Διαβάζουν τη συμβολοσειρά εισόδου
Διαβάστε περισσότεραΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΡΓΑΣΙΑ 1 η Ηµεροµηνία Αποστολής στον Φοιτητή: 12 Οκτωβρίου 2007
ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 1) ΕΡΓΑΣΙΑ 1 η Ηµεροµηνία Αποστολής στον Φοιτητή: 1 Οκτωβρίου 007 Ηµεροµηνία παράδοσης της Εργασίας: 9 Νοεµβρίου 007. Πριν από την λύση κάθε άσκησης
Διαβάστε περισσότερα3/10/2016. Στατιστική Ι. 1 η Διάλεξη
Στατιστική Ι 1 η Διάλεξη 1 2 Φαινόμενα Πειράματα Αιτιοκρατικά Προσδιοριστικά Τυχαία Στοχαστικά Ένα αιτιοκρατικό πείραμα, κάθε φορά που εκτελείται, έχει το ίδιο αποτέλεσμα το οποίο μπορεί να προβλεφθεί
Διαβάστε περισσότεραΑυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών 6
Εισαγωγή στην Επιστήμη των Υπολογιστών 3η ενότητα: Αυτόματα και Τυπικές Γραμματικές http://www.corelab.ece.ntua.gr/courses/ Αυτόματα Τρόπος κωδικοποίησης αλγορίθμων. Τρόπος περιγραφής συστημάτων πεπερασμένων
Διαβάστε περισσότεραΥπολογιστική Πολυπλοκότητα Εξέταση Ιουνίου 2017 Σελ. 1 από 5
Υπολογιστική Πολυπλοκότητα Εξέταση Ιουνίου 2017 Σελ. 1 από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις
Διαβάστε περισσότερα7 ΑΛΓΕΒΡΑ ΜΗΤΡΩΝ. 7.2 ΜΗΤΡΕΣ ΕΙΔΙΚΗΣ ΜΟΡΦΗΣ (Ι)
77 78 7 ΑΛΓΕΒΡΑ ΜΗΤΡΩΝ. 7. ΕΙΣΑΓΩΓΗ Η Άλγεβρα των μητρών οι πινάκων είναι ιδιαίτερα χρήσιμη για την επίλυση συστημάτων καθώς επίσης στις επιστήμες της οικονομετρίας και της στατιστικής. ΟΡΙΣΜΟΣ: Μήτρα
Διαβάστε περισσότεραΧηµική ισοδυναµία πυρήνων και µοριακή συµµετρία
Χηµική ισοδυναµία πυρήνων και µοριακή συµµετρία Οι χηµικά µη ισοδύναµοι πυρήνες βρίσκονται σε διαφορετικό χηµικό περιβάλλον και όπως ήδη γνωρίζουµε, συντονίζονται σε διαφορετική συχνότητα (παρουσιάζουν
Διαβάστε περισσότεραΜεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 2 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
Γιώργος Δημητρίου Μάθημα 2 ο Αλφάβητα και Γλώσσες Αλφάβητο: Ένα μη κενό και πεπερασμένο σύνολο συμβόλων Γλώσσα: Ένα οποιοδήποτε υποσύνολο των συμβολοσειρών ενός αλφαβήτου (οι προτάσεις της γλώσσας, πχ.
Διαβάστε περισσότεραKΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,...
KΕΦΑΛΑΙΟ ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ Βασικές έννοιες διαιρετότητας Θα συµβολίζουµε µε, τα σύνολα των φυσικών αριθµών και των ακεραίων αντιστοίχως: {,,3,,, } { 0,,,,, } = = ± ± ± Ορισµός Ένας φυσικός αριθµός
Διαβάστε περισσότεραΓενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης.
Γενικές Παρατηρήσεις Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα () Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Υπάρχουν µη κανονικές γλώσσες, π.χ., B = { n n n }. Αυτό
Διαβάστε περισσότερα771 Η - Θεωρία Υπολογισµών και Αλγορίθµων
771 Η - Θεωρία Υπολογισµών και Αλγορίθµων Σηµειώσεις Μέρος 2 ο ιδάσκων: Το παρόν αποτελεί σηµειώσεις που αντιστοιχούν σε µέρος των διαλέξεων για το µάθηµα 771 Η - Θεωρία Υπολογισµών και Αλγορίθµων του
Διαβάστε περισσότεραΌταν δεν υπάρχει κίνδυνος σύγχυσης γράφουμε συνήθως ο τοπολογικός χώρος X και χρησιμοποιούμε την σύντμηση τ.χ. (= τοπολογικός χώρος).
4 Τοπολογικοί χώροι. Στοιχειώδεις έννοιες της τοπολογίας Στην παράγραφο αυτή εισάγουμε τις βασικές έννοιες της τοπολογίας, δηλαδή αυτές του ανοικτού και κλειστού συνόλου, της κλειστότητας και του εσωτερικού
Διαβάστε περισσότεραΜοντελοποίηση υπολογισμού. Θέματα Υπολογισμού στον Πολιτισμό Πεπερασμένα αυτόματα
Μοντελοποίηση υπολογισμού Πεπερασμένα αυτόματα Πεπερασμένα αυτόματα; Πεπερασμένα αυτόματα; Πεπερασμένα αυτόματα; Μηχανές πεπερασμένης κατάστασης Πεπερασμένο σύνολο καταστάσεων Καθορισμένη κατάσταση εκκίνησης
Διαβάστε περισσότεραΓλώσσες Χωρίς Συμφραζόμενα
Γλώσσα χωρίς Συμφραζόμενα Γλώσσες Χωρίς Συμφραζόμενα Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο
Διαβάστε περισσότεραΣχεδίαση Γλωσσών Προγραμματισμού Λεξική Ανάλυση Ι. Εαρινό Εξάμηνο Lec 05 & & 26 /02/2019 Διδάσκων: Γεώργιος Χρ.
Σχεδίαση Γλωσσών Προγραμματισμού Λεξική Ανάλυση Ι Εαρινό Εξάμηνο 2018-2019 Lec 05 & 06 25 & 26 /02/2019 Διδάσκων: Γεώργιος Χρ. Μακρής Φάσεις μεταγλώττισης Αρχικό Πρόγραμμα Λεκτική Ανάλυση λεκτικές μονάδες
Διαβάστε περισσότεραΔρ. Βασίλειος Γ. Καμπουρλάζος Δρ. Ανέστης Γ. Χατζημιχαηλίδης
Μάθημα 7α Δρ. Βασίλειος Γ. Καμπουρλάζος Τμήμα Μηχανικών Πληροφορικής Τ.Ε. ΤΕΙ Ανατολικής Μακεδονίας και Θράκης 2017-2018 Μια Ενοποιητική Προσέγγιση στην ΥΝ Η Θεωρία Πλεγμάτων στην ΥΝ. Υπολογιστικές Μεθοδολογίες
Διαβάστε περισσότεραΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ. a β a β.
ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ Ε.1 ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Στη παράγραφο αυτή θα γνωρίσουμε μερικές βασικές έννοιες της Λογικής, τις οποίες θα χρησιμοποιήσουμε στη συνέχεια, όπου αυτό κρίνεται αναγκαίο, για τη σαφέστερη
Διαβάστε περισσότερα