Άπειρος και κλασικός υπολογισμός με μη συμβατικές και κβαντικές μεθόδους χρησιμοποιώντας αυτόματα

Περίληψη

Η εκπόνηση της παρούσας διατριβής αφορά το πεδίο της Θεωρητικής Επιστήμης Υπολογιστών ή Θεωρητικής Πληροφορικής. Αφορά κατά κύριο λόγο τη χρήση “Μη συμβατικών” μεθόδων υπολογισμού, όπως ο υπολογισμός με αυτόματα μεμβράνες και ο υπολογισμός με κβαντικά αυτόματα. Η θεωρία αυτομάτων είναι υποπεδίο της θεωρίας υπολογισμού και στην εργασία αυτή μελετάμε κυρίως παραλλαγές αυτομάτων που δεν ανήκουν στα καθιερωμένα μοντέλα, αλλά αντίθετα έχουν σχέση με αυτό που λέμε “Μη συμβατικές” μέθοδοι υπολογισμού. Η κύρια παραλλαγή των αυτομάτων που ανήκει στη Θεωρία Υπολογισμού και η οποία μελετάται στην παρούσα διατριβή αφορά τα αυτόματα που δέχονται εισόδους άπειρου μήκους. Αυτά τα αυτόματα ονομάζονται ω-αυτόματα. Στην παρούσα εργασία τα συνδέουμε με τον μηχανισμό επερωτήσεων σε ιστούς Διασυνδεδεμένων Δεδομένων, οι οποίοι μπορεί να είναι άπειροι σε μέγεθος. Η έρευνα των εναλλακτικών ή μη συμβατικών μεθόδων υπολογισμού ξεκίνησε λόγω των φυσικών ορίων των υλικών και των μεθόδων που χρησιμοποιούνται στις ...
περισσότερα

Περίληψη σε άλλη γλώσσα

The work described in this dissertation falls into the field of the Theoretical Computer Science. It mainly concerns the use of “Unconventional” methods of computing, such as membrane and quantum automata. This dissertation concerns elements from automata theory. Automata theory is a subfield of the computation theory, and here we mainly study variants of automata that do not belong to the standard models, but they are related to the socalled “Unconventional” methods of computation.The main variant of automata that belongs to standard Theory of Computation that is studied within this dissertation includes those that receive infinite inputs, called ω- automata. Here we associate them with the querying mechanism of web of Linked Data that could be infinite in size. The research on alternative or unconventional computation methods is initiated mainly because of the apparent limits induced by the nature of the materials and the methods used in current computing technologies. Besides the bi ...
περισσότερα

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/38648
ND
38648
Εναλλακτικός τίτλος
Infinite and standard computation with unconventional and quantum methods using automata
Συγγραφέας
Γιαννάκης, Κωνσταντίνος του Ευάγγελος
Ημερομηνία
2016
Ίδρυμα
Ιόνιο Πανεπιστήμιο. Τμήμα Πληροφορικής
Εξεταστική επιτροπή
Ανδρόνικος Θεόδωρος
Σιούτας Σπυρίδων
Στεφανιδάκης Μιχαήλ
Χρυσικόπουλος Βασίλειος
Σταφυλοπάτης Ανδρέας-Γεώργιος
Τσανάκας Παναγιώτης
Κοζύρης Νεκτάριος
Επιστημονικό πεδίο
Φυσικές ΕπιστήμεςΜαθηματικά
Φυσικές ΕπιστήμεςΕπιστήμη Ηλεκτρονικών Υπολογιστών και Πληροφορική
Λέξεις-κλειδιά
Θεωρία υπολογισμού; Μη συμβατικός υπολογισμός; Κβαντικός υπολογισμός; Θεωρία αυτομάτων
Χώρα
Ελλάδα
Γλώσσα
Αγγλικά
Άλλα στοιχεία
214 σ., εικ., πιν., σχημ., ευρ.
Ειδικοί όροι χρήσης/διάθεσης
Το έργο παρέχεται υπό τους όρους της δημόσιας άδειας του νομικού προσώπου Creative Commons Corporation:
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.