[Θ.Υ.Α.] Γενικές απορίες και ανακοινώσεις/επικαιρότητα 2015-2016

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

[Πληροφορίες Καθηγητών]

Πληροφορίες Καθηγητών

[RFed the King]

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

Στο κενο συνολο δεν θεωρειται μεταβαση?
Αυτο οταν σχηματιζουμε απο ΜΑΠΑ->ΑΠΑ
Αν δηλαδη εχω ενα κενο συνολο και μου ζητειται να χαρακτηρισω αν ειναι ΑΠΑ?

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

cool
θενξ!

[SportBillyPap]

Αμα θελει καποιος και μπορει,να ανεβασει ολες τις ασκησεις-θεματα που εκανε στα τελευταια μαθηματα φετος...

[billios]

Αμα θελει καποιος και μπορει,να ανεβασει ολες τις ασκησεις-θεματα που εκανε στα τελευταια μαθηματα φετος...

+1

[Niobe]

 

Αμα θελει καποιος και μπορει,να ανεβασει ολες τις ασκησεις-θεματα που εκανε στα τελευταια μαθηματα φετος...

+1

Κανενας παιχτης πλζ δωστε υλικο στους παλιους

[Xbaremenos]

Παίδες, να ρωτήσω κάτι ...

Έστω 2 γλώσσες L1 και L2

Η ένωση αυτών των δύο είναι το ίδιο με την παράθεση τους ?
Γενικά πιστεύω πως όχι...
Ξέρω πως η παράθεση είναι μια σ.σ απο την πρώτη γλώσσα σε σειρά με μια σ.σ απο την δεύτερη...

Αλλά μεσα στις σημειώσεις του σε κάποια φάση (εκεί με τις Κ.Ε) κάπως το υποννοεί...

[greekoo]

Παίδες, να ρωτήσω κάτι ...

Έστω 2 γλώσσες L1 και L2

Η ένωση αυτών των δύο είναι το ίδιο με την παράθεση τους ?
Γενικά πιστεύω πως όχι...
Ξέρω πως η παράθεση είναι μια σ.σ απο την πρώτη γλώσσα σε σειρά με μια σ.σ απο την δεύτερη...

Αλλά μεσα στις σημειώσεις του σε κάποια φάση (εκεί με τις Κ.Ε) κάπως το υποννοεί...

εγω εχω καταλάβει ότι η ένωση είναι κάτι σαν και αυτό: 

έστω έχεις L[a U ab] τότε στο βιβλίο κάπου λέει αυτό:
"πάρε ένα α ή ένα αb", άρα λογικά είναι διαφορετικό απτην παράθεση που θα ήταν aab αυστηρά

Να ρωτήσω εγώ κάτι άλλο: Υπάρχει περίπτωση κάποιο αυτόματο να αποδέχεται μια κανονική έκφραση L[R] αλλά ταυτόχρονα να αποδέχεται και συμβολοσειρές οι οποίες δεν ανήκουν στν L[R]?

ΓΙα παράδειγμα για την L[R] = (ab*)* (που έχει πέσει και παλιότερα), εύκολα κανείς σχεδιάζει αυτόματο που αποδέχεται την (ab*)  αλλά την (ab*)* ?? δλδ να αποδεχεται τo string abbabb (που ανήκει στην L[R]) αλλά όχι το abbabbb (που δεν ανήκει στην L[R] ;;   

Πώς μπορεί να γίνει αυτό; Δλδ ουσιαστικά να μετράς τα β για να έχεις πλήρη συμμετρία; 
Μπορώ να σκεφτώ μόνο κάτι το οποίο αποδέχεται γενικά συμβολοσειρές (αβ*)* που τελειώνουν σε β αλλά έτσι θα αποδέχεται και συμβολοσειρές εκτός της L[R].

[SolidSNK]

Παίδες, να ρωτήσω κάτι ...

Έστω 2 γλώσσες L1 και L2

Η ένωση αυτών των δύο είναι το ίδιο με την παράθεση τους ?
Γενικά πιστεύω πως όχι...
Ξέρω πως η παράθεση είναι μια σ.σ απο την πρώτη γλώσσα σε σειρά με μια σ.σ απο την δεύτερη...

Αλλά μεσα στις σημειώσεις του σε κάποια φάση (εκεί με τις Κ.Ε) κάπως το υποννοεί...

εγω εχω καταλάβει ότι η ένωση είναι κάτι σαν και αυτό:  

έστω έχεις L[a U ab] τότε στο βιβλίο κάπου λέει αυτό:
"πάρε ένα α ή ένα αb", άρα λογικά είναι διαφορετικό απτην παράθεση που θα ήταν aab αυστηρά

Να ρωτήσω εγώ κάτι άλλο: Υπάρχει περίπτωση κάποιο αυτόματο να αποδέχεται μια κανονική έκφραση L[R] αλλά ταυτόχρονα να αποδέχεται και συμβολοσειρές οι οποίες δεν ανήκουν στν L[R]?

ΓΙα παράδειγμα για την L[R] = (ab*)* (που έχει πέσει και παλιότερα), εύκολα κανείς σχεδιάζει αυτόματο που αποδέχεται την (ab*)  αλλά την (ab*)* ?? δλδ να αποδεχεται τo string abbabb (που ανήκει στην L[R]) αλλά όχι το abbabbb (που δεν ανήκει στην L[R] ;;  

Πώς μπορεί να γίνει αυτό; Δλδ ουσιαστικά να μετράς τα β για να έχεις πλήρη συμμετρία;  
Μπορώ να σκεφτώ μόνο κάτι το οποίο αποδέχεται γενικά συμβολοσειρές (αβ*)* που τελειώνουν σε β αλλά έτσι θα αποδέχεται και συμβολοσειρές εκτός της L[R].

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

Τώρα για κάθε κανονική έκφραση υπάρχει αυτόματο που τη δέχεται αποκλειστικά και ο ντελό γενικά αυτό θέλει. Το παράδειγμα σου είναι τετριμμένο: σχεδιάζεις το (ab*) όπως λες και βάζεις μη ντετερμινιστικό βήμα στο τέλος να ξαναπηγαίνει στην αρχική του κατάσταση.

[greekoo]

Παίδες, να ρωτήσω κάτι ...

Έστω 2 γλώσσες L1 και L2

Η ένωση αυτών των δύο είναι το ίδιο με την παράθεση τους ?
Γενικά πιστεύω πως όχι...
Ξέρω πως η παράθεση είναι μια σ.σ απο την πρώτη γλώσσα σε σειρά με μια σ.σ απο την δεύτερη...

Αλλά μεσα στις σημειώσεις του σε κάποια φάση (εκεί με τις Κ.Ε) κάπως το υποννοεί...

εγω εχω καταλάβει ότι η ένωση είναι κάτι σαν και αυτό:  

έστω έχεις L[a U ab] τότε στο βιβλίο κάπου λέει αυτό:
"πάρε ένα α ή ένα αb", άρα λογικά είναι διαφορετικό απτην παράθεση που θα ήταν aab αυστηρά

Να ρωτήσω εγώ κάτι άλλο: Υπάρχει περίπτωση κάποιο αυτόματο να αποδέχεται μια κανονική έκφραση L[R] αλλά ταυτόχρονα να αποδέχεται και συμβολοσειρές οι οποίες δεν ανήκουν στν L[R]?

ΓΙα παράδειγμα για την L[R] = (ab*)* (που έχει πέσει και παλιότερα), εύκολα κανείς σχεδιάζει αυτόματο που αποδέχεται την (ab*)  αλλά την (ab*)* ?? δλδ να αποδεχεται τo string abbabb (που ανήκει στην L[R]) αλλά όχι το abbabbb (που δεν ανήκει στην L[R] ;;  

Πώς μπορεί να γίνει αυτό; Δλδ ουσιαστικά να μετράς τα β για να έχεις πλήρη συμμετρία;  
Μπορώ να σκεφτώ μόνο κάτι το οποίο αποδέχεται γενικά συμβολοσειρές (αβ*)* που τελειώνουν σε β αλλά έτσι θα αποδέχεται και συμβολοσειρές εκτός της L[R].

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

Τώρα για κάθε κανονική έκφραση υπάρχει αυτόματο που τη δέχεται αποκλειστικά και ο ντελό γενικά αυτό θέλει. Το παράδειγμα σου είναι τετριμμένο: σχεδιάζεις το (ab*) όπως λες και βάζεις μη ντετερμινιστικό βήμα στο τέλος να ξαναπηγαίνει στην αρχική του κατάσταση.

Σε ευχαριστώ για την απάντηση.
Κάτι τέτοιο ας πούμε;
->

[SolidSNK]

Looking good!

[greekoo]

Looking good!

Ty!

[billios]

Οι περσινές ασκήσεις που ειναι στα Downloads αρκούν για να είμαστε καλυμμένοι για όλες τις περιπτώσεις θεμάτων?

[isitsou]

Ανέβασα κάτι λυμένα θέματα απο το 2012 μέχρι και 2015. Οι λύσεις είναι ενδεικτικές, οπότε οποιαδήποτε διόρθωση ή υπόδειξη είναι ευπρόσδεκτη! Ειδικά σε μηχανές Turing και ελαχιστοποίση ΑΠΑ δεν είμαι και 100% σίγουρος για το αν ειναι σωστά αυτά που έγραψα. Θα ανέβαζα και σημειώσεις απο τα 2 τελευταία μαθήματα αλλά μου κάνει κατι κόλπα το adobe (Error: The file is damaged and could not repair).Επίσης, ελπίζω να βγαίνει άκρη με τα γράμματα που κάνω, είναι λίγο Γραμμική Β'.

[eangelov]

Παιδια μια ερωτηση. Στις διαφάνειες και στο βιβλίο λέει ότι για να βρούμε το kleene star ενός αυτόματου, προσθέτουμε μία καινούρια κατάσταση η οποία είναι αρχική και τελική του καινούριου αυτόματου, οι τελικές καταστάσεις του παλιού αυτόματου παραμένουν τελικές και του καινούριου αυτόματου και από την νέα αρχική-τελική κατάσταση και τις τελικές καταστάσεις του παλιού αυτόματου καταλήγουμε στην παλιά αρχική κατάσταση με την e. Σε σημειώσεις από ασκήσεις του μαθήματος που βρήκα εδω αλλά και σε κάποιες άλλες που έχω, βλέπω την εξής διαφορά: ότι οι τελικές καταστάσεις του παλιού αυτόματου δεν είναι τελικές στο καινούριο αυτόματο και ότι από αυτές καταλήγουμε με την e στην καινούρια αρχική-τελική κατάσταση που προσθέσαμε.

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

[Maylo]

Ωραίος , θα μπορούσες όμως να εξηγήσεις την διαδικασία με την οποία γεμίζεις τον πίνακα στον δυναμικό προγραμματισμό ; στο Θέμα 3ο του 2012 γιατι μπερδεύομαι απίστευτα

[isitsou]

Παιδια μια ερωτηση. Στις διαφάνειες και στο βιβλίο λέει ότι για να βρούμε το kleene star ενός αυτόματου, προσθέτουμε μία καινούρια κατάσταση η οποία είναι αρχική και τελική του καινούριου αυτόματου, οι τελικές καταστάσεις του παλιού αυτόματου παραμένουν τελικές και του καινούριου αυτόματου και από την νέα αρχική-τελική κατάσταση και τις τελικές καταστάσεις του παλιού αυτόματου καταλήγουμε στην παλιά αρχική κατάσταση με την e. Σε σημειώσεις από ασκήσεις του μαθήματος που βρήκα εδω αλλά και σε κάποιες άλλες που έχω, βλέπω την εξής διαφορά: ότι οι τελικές καταστάσεις του παλιού αυτόματου δεν είναι τελικές στο καινούριο αυτόματο και ότι από αυτές καταλήγουμε με την e στην καινούρια αρχική-τελική κατάσταση που προσθέσαμε.

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

Νομίζω ότι για το kleene star απλά απο τις τελικές καταστάσεις πας με "e" στην αρχική, την οποία όμως αρχική την έχεις κάνει και τελική.