06240nam a2200349 a 4500 kal5744 Gr-AtHEAL 20160427135224.0 m d 160413s2015 gr s gre|c 9789606034060 GR-AtHEAL gre GR-AtHEAL 511.3 23 Κατσαρός, Παναγιώτης. 2585 Θεωρία υπολογισμού και εφαρμογές [Ηλεκτρονικός πόρος] Κατσαρός, Παναγιώτης ; Κριτικός αναγνώστης,Σταμέλος, Ιωάννης ; Τεχνική επιμέλεια,Στάχτιαρη, Εμμανουέλα ; Γλωσσική επιμέλεια,Παππάς, Βασίλειος. Αθήνα : Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, c2015. Ακαδημαϊκά Ηλεκτρονικά Συγγράμματα και Βοηθήματα Κάλλιπος 40 1. Γλώσσες και υπολογισμοί2. Κανονικές γλώσσες και πεπερασμένα αυτόματα3. Ελαχιστοποίηση και μη Κανονικές γλώσσες4. Γλώσσες και γραμματικές χωρίς συμφραζόμενα5. Αυτόματα στοίβας και γλώσσες που δεν είναι χωρίς συμφραζόμενα6. Μηχανές turing7. Επιλυσιμότητα και μη επιλυσιμότητα8. Υπολογίσιμες συναρτήσεις9. Υπολογιστική πολυπλοκότητα10. NP-πληρότητα Η Θεωρία Υπολογισμού αναπτύχθηκε για να μελετηθούν θεμελιώδη ζητήματα σχετικά με την έννοια του υπολογισμού και τις δυνατότητες των υπολογιστικών μας μηχανών. Ο υπολογισμός είναι ένα φυσικό φαινόμενο, που εκτελείται σε ένα κλειστό σύστημα που το ονομάζουμε υπολογιστή. Ποιοι υπολογισμοί είναι πραγματοποιήσιμοι και ποιοι υπολογισμοί είναι αδύνατοι; Πώς μπορούμε να ξέρουμε αν ένα δοθέν πρόβλημα μπορεί να επιλυθεί και αν αυτό μπορεί να γίνει επαρκώς γρήγορα;Για να απαντηθούν τα παραπάνω ερωτήματα, οι επιστήμονες εμπνέυστηκαν αφαιρετικά μοντέλα υπολογισμού, όπως οι αναδρομικές συναρτήσεις, ο λογισμός-λ, οι μηχανές Turing και οι μηχανές πεπερασμένων καταστάσεων. Ο ορισμός των μοντέλων υπολογισμού χαρακτηρίζεται από μία μαθηματική αυστηρότητα, που είναι αναγκαία για την απόδειξη αποτελεσμάτων που απαντούν στα ερωτήματα που τέθηκανΗ Μηχανή Turing, ένα θεωρητικό μοντέλο μηχανής, που πρότεινε ο Alan Turing το 1936 έχει αποδειχθεί ως το μέχρι σήμερα πιο εκφραστικό μοντέλο, καθώς αυτό μπορεί να αναπαραστήσει τον οποιοδήποτε υπολογισμό μιας υπολογιστικής μηχανής. Οι μηχανές πεπερασμένων καταστάσεων συνδυάζουν την απλότητα της αναπαράστασης του υπολογισμού με σημαντικές δυνατότητες έκφρασης υπολογισμών και γι αυτό έχουν πολλές εφαρμογές στη σχεδίαση και ανάλυση της συμπεριφοράς συστημάτων όπως οι αυτόματες μηχανές πώλησης, τα ηλεκτρονικά παιχνίδια, οι μονάδες ελέγχου των CPUs και άλλες εφαρμογές όπως η ανάλυση κειμένου, η ανάλυση πρωτοκόλλων δικτύων και η επεξεργασία φυσικής γλώσσας. Διάφορες επεκτάσεις μοντέλων υπολογισμού όπως αυτά που αναφέρθηκαν βρίσκουν επίσης εφαρμογή στη μελέτη βιολογικών συστημάτων και ενσωματωμένων συστημάτων, που αλληλεπιδρούν με το περιβάλλον σε πραγματικό χρόνοΤο ηλεκτρονικό βιβλίο "Θεωρία Υπολογισμού και Εφαρμογές" είναι μία πρωτότυπη παρουσίαση των βασικών αποτελεσμάτων της Θεωρίας Υπολογισμού διανθισμένη με πλήθος εφαρμογών από διάφορα πεδία, προσομοιώσεις, κριτήρια αξιολόγησης, καθώς και εκτεταμένο πολυμεσικό και διαδραστικό περιεχόμενο. Computational complexity 2697 Υπολογιστική πολυπλοκότητα Υπολογισιμότητα Γραμματικές Αυτόματα Γλώσσες Επιστήμη υπολογιστών/Πληροφορική Υπολογιστική επιστήμη Σταμέλος Ιωάννης Κριτικός αναγνώστης 2586 http://hdl.handle.net/11419/5744 Πλήρες Κείμενο - Full text .b25678863 12-06-18 29-07-16 0 0 ddc 0 511_300000000000000_ΚΑΤ 0 KALL 645 2016-04-13 2016-04-13 2016-04-13 511.3 ΚΑΤ SEAB KALLIPOS 80 01 02 03 04 05 06 07 08 09 10 11 12 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 10-05-17 m z - gre gr 0 ddc KALLIPOS