Θεωρία Υπολογισμών και Αλγορίθμων >> Γενικά

[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 με προσοχή στα ονόματα των αρχείων!

[Δείτε περισσότερα εδώ...]

Συμβουλές καλής χρήσης του φόρουμ: Youtube embed code and links, Shoutbox, Notify, ...

Δείτε περισσότερα εδώ...

[vasso]

Η μηχανή Τούρινγκ ολίσθησης δεξιά μήπως έχει λάθος; Νομίζω ότι το τελευταίο α προς τα δεξια της την κάνει να λειτουργεί σαν mirror και όχι σαν ολίσθηση. Μήπως είπε κάτι στην τάξη γι' αυτό;

[piolini]

Η μηχανή Τούρινγκ ολίσθησης δεξιά μήπως έχει λάθος; Νομίζω ότι το τελευταίο α προς τα δεξια της την κάνει να λειτουργεί σαν mirror και όχι σαν ολίσθηση. Μήπως είπε κάτι στην τάξη γι' αυτό;

+1, αλλα απο κάτι σημειώσεις που έχω στην ταξη ειπε οτι κανει ολισθηση χωρισ να το αναλύσει παραπάνω.

Στο κεφάλαιο με τις μηχανες Turing έχει και κάτι για ανδρομικές γλώσσες, και εχω δει θέματα όπως αυτά του 2005 θ4. που δεν μπορω να καταλάβω τι θελει να κάνουμε. για το α ερώτημα νομίζω αρκει να κάνουμε μια ΜΤ που ημιαποφασίζει τη γλώσσα αλλά για το β δεν εχω ιδέα...

[johnnysp]

στα θέματα του φεβρουαρίου του 09, θέμα 3ο... πως είμαστε σίγουροι ότι είναι η γραμματική σαφής?

[piolini]

στα θέματα του φεβρουαρίου του 09, θέμα 3ο... πως είμαστε σίγουροι ότι είναι η γραμματική σαφής?

νομίζω δεν υπάρχει άλλο συντακτικό δεντρο που ν απαράγει την συμβολοσειρά

[lpool]

στα θέματα του φεβρουαρίου του 09, θέμα 3ο... πως είμαστε σίγουροι ότι είναι η γραμματική σαφής?

Σκέψου το εξής. Ότι δεν υπάρχει τρόπος να σπάσεις τη συμβολοσειρά με άλλο τρόπο κατά την παραγωγή της με το δέντρο. Δηλαδή, ο μόνος τρόπος είναι, να ξεκινήσεις σπάζοντας την συμβολοσειρά στο σύμβολο / (αν πάρουμε σαν παράδειγμα την δωθείσα συμβολοσειρά). Κ.ο.κ. Δηλαδή είναι μοναδικός ο τρόπος ώστε να σπάσεις μέχρι το κατώτατο επίπεδο την συμβολοσειρά. Είναι λογικό, εκτός αν κάνω κάπου στο συλλογισμό μου λάθος

[SolidSNK]

στα θέματα του φεβρουαρίου του 09, θέμα 3ο... πως είμαστε σίγουροι ότι είναι η γραμματική σαφής?

Σκέψου το εξής. Ότι δεν υπάρχει τρόπος να σπάσεις τη συμβολοσειρά με άλλο τρόπο κατά την παραγωγή της με το δέντρο. Δηλαδή, ο μόνος τρόπος είναι, να ξεκινήσεις σπάζοντας την συμβολοσειρά στο σύμβολο / (αν πάρουμε σαν παράδειγμα την δωθείσα συμβολοσειρά). Κ.ο.κ. Δηλαδή είναι μοναδικός ο τρόπος ώστε να σπάσεις μέχρι το κατώτατο επίπεδο την συμβολοσειρά. Είναι λογικό, εκτός αν κάνω κάπου στο συλλογισμό μου λάθος

Λογικά αρκεί αυτό χωρίς να το δικαιολογήσεις παραπάνω (δλδ να αποδείξεις περίτεχνα τη μοναδικότητα).

[jimmakos]

Στα θέματα από τα downloads εδώ
του Φεβρουαρίου 2008, θέμα 3 όπου ζητείται μετασχηματισμός KMC
βρήκα R={S->X, X->ab}

στην εξάλειψη μακριών κανόνων είχα
S->XD
D->SX
και είπα Άρα R={S->XD, D->SX, S->X, S->e, X-> ab, X->e}

στην εξάλειψη κανόνων προς το κενό
έβγαλα Ε={S,X}
και είπα Άρα R={S->D, D->S, S->X, X->ab}

και τέλος στην εξάλειψη των κοντών κανόνων
D(S)={D,X}
άρα προσθέτω τα S->D, D->S, D->X και βγάζω το R={S->X, X->ab}

το πάω καλά;
μπορεί κάποιος να ανεβάσει, αν την έχει λύσει, τη δικιά του λύση γιατί δεν έχω δει ούτε μια λυμένη άσκηση μέχρι στιγμής;

[SolidSNK]

Στη "μηχανή αντιγραφής" το κενό σύμβολο μετά το R -> τι σημαίνει? Δλδ στο R -> []

edit: α κατάλαβα γράφει ένα []. Μου αρέσει πως πρώτα πρέπει να γράψω ερώτηση για να το καταλάβω. wtf ανθυποβολή