[ Θ. Υ. Α. ]-Επικαιρότητα, απορίες, ασκήσεις 2011-2012

[Thmmy.gr portal]

  Thmmy.gr portal
   Forum
   Downloads
   Ενεργ. Λογαριασμού
   Επικοινωνία
  
  Χρήσιμα links
   Σελίδα τμήματος
   Βιβλιοθήκη Τμήματος
   Elearning
   Φοιτητικά fora
   Πρόγραμμα Λέσχης
   Πρακτική Άσκηση
   Ηλεκτρονική Εξυπηρέτηση Φοιτητών
   Διανομή Συγγραμμάτων
   Ψηφιακό Καταθετήριο Διπλωματικών
   Πληροφορίες Καθηγητών
   Instagram @thmmy.gr
   mTHMMY
  
  Φοιτητικές Ομάδες
   ACM
   Aristurtle
   ART
   ASAT
   BEAM
   BEST Thessaloniki
   EESTEC LC Thessaloniki
   EΜΒ Auth
   IAESTE Thessaloniki
   IEEE φοιτητικό παράρτημα ΑΠΘ
   SpaceDot
   VROOM
   Panther
  

THMMY.gr Web

Helios_MultiScribbles2SMF Default ThemeSMFone_Blue

[Ανεβάζετε τα θέματα των εξετάσεων στον τομέα Downloads]

Είσαι πρωτοετής;... Καλώς ήρθες! Μπορείς να βρεις πληροφορίες εδώ. Βοήθεια για τους καινούργιους μέσω χάρτη.

Κατεβάστε εδώ το Android Application για εύκολη πρόσβαση στο forum.

Ανεβάζετε τα θέματα των εξετάσεων στον τομέα Downloads με προσοχή στα ονόματα των αρχείων!

[Αντιστοίχηση Μαθημάτων ΝΠΣ με ΠΠΣ]

Επίσημη ενημέρωση για Αντιστοίχηση Μαθημάτων ΝΠΣ με ΠΠΣ και η συζήτηση στο forum.

[nikos912000]

Από ethmmy...

Αναβολή μαθήματος Τετάρτης 17.10.11
16 Οκτ 2012 12:42 μμ
Ντελόπουλος

Δυστυχώς, για σοβαρούς προσωπικούς λόγους το μάθημα της Τετάρτης 17.10.11 δεν θα πραγματοποιηθεί.
Παρακαλώ ενημερώστε και τους συναδέλφους σας.

[saddodancererer]

παιδες μια απορια!
Στο πινακακι που κανουμε για το δυναμικο προγραμματισμο, στα παλια θεματα που επιχειρησα να λυσω, σε καποια κουτακια μου βγαιναν 2 αποτελεσματα.. Τι εννοω μ αυτο:
πχ το πρωτο κουτακι της σειρας του κουτιου στο οποιο υπολογιζα ειχε την τιμη α. Και το απο πανω την τιμη β. Οποτε βασει θεωριας αφου πχ ειχα μια σχεση πχ Β->αβ, Θα πρεπει στο κουτακι να βαλω Β.. αλλα αντι να μου προκυπτει μονο αυτο το Β, καθως συνεχιζα διαδοχικα τους ελεγχους ειχα πχ και αλλα δεκτα αποτελεσματα.. Οποτε ειχα και μια αλλη τιμη Α πχ στο συγκεκριμενο κουτακι. Σ αυτη την περιπτωση που εχω πχ και Α και Β ως υποψηφιες τιμες του κουτιου τι κανω? κοιταω μηπως υπαρχει πχ καποιος αλλος κανονας που να λεει για παραδειγμα S-> AB ? Oποτε βαζω στο κουτακι το S? η κατι αλλο? ελπιζω να μην σας μπερδεψα πολυ 

[antonios]

παιδες μια απορια!
Στο πινακακι που κανουμε για το δυναμικο προγραμματισμο, στα παλια θεματα που επιχειρησα να λυσω, σε καποια κουτακια μου βγαιναν 2 αποτελεσματα.. Τι εννοω μ αυτο:
πχ το πρωτο κουτακι της σειρας του κουτιου στο οποιο υπολογιζα ειχε την τιμη α. Και το απο πανω την τιμη β. Οποτε βασει θεωριας αφου πχ ειχα μια σχεση πχ Β->αβ, Θα πρεπει στο κουτακι να βαλω Β.. αλλα αντι να μου προκυπτει μονο αυτο το Β, καθως συνεχιζα διαδοχικα τους ελεγχους ειχα πχ και αλλα δεκτα αποτελεσματα.. Οποτε ειχα και μια αλλη τιμη Α πχ στο συγκεκριμενο κουτακι. Σ αυτη την περιπτωση που εχω πχ και Α και Β ως υποψηφιες τιμες του κουτιου τι κανω? κοιταω μηπως υπαρχει πχ καποιος αλλος κανονας που να λεει για παραδειγμα S-> AB ? Oποτε βαζω στο κουτακι το S? η κατι αλλο? ελπιζω να μην σας μπερδεψα πολυ 

χωρίς να είμαι και σίγουρος, φαντάζομαι πως δεν έχεις εξαλείψει σωστά κανόνες, γι αυτό και φτάνεις σ αυτό το σημείο

[saddodancererer]

δεν νομιζω ρε μαν γιατι ειναι σε παλιοτερο θεμα οπου σου εδινε τους κανονες ετοιμους..
δοκιμασε το κ εσυ σαν εξασκηση και πες μου τι εβγαλες (γιατι πιστευω οτι κατα 99% θα βαλει τετοιο θεμα).. ειναι στο θεμα 2 του γεναρη του 2012

[soso]

και γω την εχω αυτή την απορία αν και σε όσα θέματα έλυσα δεν μου έτυχε ποτέ. Δηλαδή αν στις διαφάνειες του καθηγητή, στο τρίτο pdf σελίδα 21, πάνω, εκεί που έχει τις κουκκίδες

• υπάρχει ο S->(S₁

.
.

• δεν υπαρχει

.
.

• αντι για δεν υπαρχει, υπήρχε κάτι

θα κρατούσαμε το τελευταίο λογικά σύμφωνα με τον αλγόριθμο, σωστά?

[Sunshine]

Και τα 2 τα βάζεις.. στο κουτάκι μπορεί προφανώς να προκύψουν παραπάνω απο ένας κανόνες.

αν προσέξεις, λέει πως στο κουτάκι βάζουμε το σύνολο των κανόνων

PS. Βλέπω να τον πίνουμε αύριο 

[saddodancererer]

Και τα 2 τα βάζεις.. στο κουτάκι μπορεί προφανώς να προκύψουν παραπάνω απο ένας κανόνες.

αν προσέξεις, λέει πως στο κουτάκι βάζουμε το σύνολο των κανόνων

PS. Βλέπω να τον πίνουμε αύριο 

θενξ για την βοηθεια παιδες!
μπα αμφιβαλλω να βαλει δυσκολα.. και τα περσινα πτυχιακης του 2012 ηταν αρκετα ευκολα, και σημερα στα πολυμεσα επιανες αρκετα ευκολα το 5-6

[soso]

οκ τα βάζουμε και τα δυο στο κουτάκι.. Ας υποθέσουμε ότι έχουμε στο κουτάκι Α και Β. Αυτό θα μετράει σαν ΑΒ? Δηλαδή αν όπως στο παράδειγμα των pdf που έγραψα παραπάνω έχουμε στο Ν(4,4) το ΑΒ και στο Ν(5,7) το Β θα πρέπει να έχω κανόνα π.χ. S->ABB αλλιώς θα βάλω κενό στο Ν(4,7)? Αυτός ο αλγόριθμος δεν είναι μόνο για ΚΜC? Αν πέσει κάτι τέτοιο θα παραδώσω κόλα με μπλε οθόνη

[Sunshine]

οκ τα βάζουμε και τα δυο στο κουτάκι.. Ας υποθέσουμε ότι έχουμε στο κουτάκι Α και Β. Αυτό θα μετράει σαν ΑΒ? Δηλαδή αν όπως στο παράδειγμα των pdf που έγραψα παραπάνω έχουμε στο Ν(4,4) το ΑΒ και στο Ν(5,7) το Β θα πρέπει να έχω κανόνα π.χ. S->ABB αλλιώς θα βάλω κενό στο Ν(4,7)? Αυτός ο αλγόριθμος δεν είναι μόνο για ΚΜC? Αν πέσει κάτι τέτοιο θα παραδώσω κόλα με μπλε οθόνη

χωρίς να είμαι 100% σίγουρος.. μετράει σαν Α,Β οχι ΑΒ. δηλαδή αν έχεις στο ένα κουτάκι Α,Β και στο άλλο Β. κοιτάς αν υπάρχει κανόνας ΑΒ, ΒΒ..
αν είχες 2 στο καθένα θα κοιτούσες για 4 συνδυασμούς.

Απλά διαισθητικά απαντάω.. δεν το είδα πουθενά έτσι.

[soso]

Στα θέματα του Σεπτεμβρίου 2002 στο θέμα 3.β αν γράψω (αα(αβ.ένωση.αβα)*)* σημαίνει ότι το αα μπορεί να μπει και ενδιάμεσα μιας συμβολοσειράς που δεν ισχύει άρα είναι λάθος. Αν το γράψω αα(αβ.ένωση.αβα)* σημαίνει ότι το αα θα πρέπει οπωσδήποτε να μπει στην αρχή της συμβολοσειράς που πάλι είναι λάθος... Εσείς πως θα το γράφατε?

[opcode]

Παιδιά πως λύνονται θέματα της μορφής:

"Δειξτε οτι αν οι γλώσσες L1, L2 είναι ανδρομικές τότε και μια άλλη γλώσσα L που προκύπτει από κάποια πράξη (π.χ. ένωση) μεταξύ τους είναι και αυτή αναδρομική "(Θέμα 3ο Φεβρ. 2013).

Επίσης, πως δειχνουμε το σοσ θέματάκι:

"Δείξτε πως κάθε κανονική γλώσσα είναι και αναδρομικά απαριθμήσιμη;"

[SolidSNK]

Παιδιά πως λύνονται θέματα της μορφής:

"Δειξτε οτι αν οι γλώσσες L1, L2 είναι ανδρομικές τότε και μια άλλη γλώσσα L που προκύπτει από κάποια πράξη (π.χ. ένωση) μεταξύ τους είναι και αυτή αναδρομική "(Θέμα 3ο Φεβρ. 2013).

Επίσης, πως δειχνουμε το σοσ θέματάκι:

"Δείξτε πως κάθε κανονική γλώσσα είναι και αναδρομικά απαριθμήσιμη;"

Ωπ καλή φάση. Δε θυμάμαι τέτοια θέματα πριν από κανά 4ρι χρόνια που το 'χα δώσει. Anywayz, για να δείξεις ότι μια γλώσσα είναι αναδρομική αρκεί να κατασκευάσεις μια μηχανή Turing που την επιλύει. Αφού L1, L2 αναδρομικές υπάρχει μηχανή Turing για την κάθε μία. Γενικά ο μπούσουλας είναι πολύ απλός σε τέτοιες ασκήσεις. Στην περίπτωση της ένωσης παίρνεις μια L3 Turing μηχανή, η οποία "περιέχει" τις L1 και L2, την είσοδο της οποίας feedάρεις στις L1 και L2 και μετά OR τις εξόδους τους (το "ναι" ή "όχι"). Είναι προφανές πως τόσο η αναπαραγωγή μιας εισόδου w στις L1, L2 όσο και η OR στο τέλος είναι πραγματοποιήσιμες από μια μηχανή Turing. Αντίστοιχα για άλλες λογικές πράξεις.

Disclaimer: αυτά τα βγάζω από το κεφάλι μου. Μπορεί να μη γουστάρει τις λύσεις μου ο Ντελό ή να κάνει άλλα στο μάθημα

[SolidSNK]

Για το δεύτερο δε σκέφτηκα κάτι πιο κομψό από το προφανές: για κανονική γλώσσα υπάρχει FSM που το αποφασίζει, το οποίο εύκολα μπορεί να μετατραπει σε απλή TM η οποία δε γράφει στη ταινία και σε κάθε μετάβαση προχωράει δεξιά μέχρι να συναντήσει κενό, όπου και τερματίζει. Η TM αποφασίζει τη γλώσσα, άρα είναι αναδρομική => αναδρομικά απαριθμήσιμη.

[opcode]

Σε ευχαριστώ πολύ! 
Μου φαινεται λογικό αυτό που λες καθώς με παρόμοιο τρόπο αποδεικνύει τα αντίστοιχα θεωρήματα στο βιβλίο για τις κανονικές γλώσσες.
Thanks και παλι.