Το τεκμήριο παρέχεται από τον φορέα :

Αποθετήριο :
Εθνικό Αρχείο Διδακτορικών Διατριβών
δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
κοινοποιήστε το τεκμήριο




1994 (EL)

ΣΥΜΒΟΛΗ ΣΤΗ ΘΕΩΡΙΑ ΤΩΝ ΣΥΝΑΡΤΗΣΕΩΝ ΔΕΝΔΡΟΥ
CONTRIBUTION TO THE THEORY OF TREEFUNCTIONS

Λούσκου-Μποζαπαλίδου, Ολυμπία

THE MAIN RESULT OF THE THESIS IS THE TURAKAINEN'S THEOREM FOR TREES THAT STATES: FROM ANY TREEMACHINE A=(Q,Α,T) WE CAN CONSTRUCT AN 1-TREEMACHINE P=(Q',Π,N) WITH CARDQ+CARDΣΟ+3 STATES, SO THAT FOR ALL TREES T Ε ΤΣ-ΣΟ IT HOLDS (TYPE). APPLICATIONS TO TREE PATTERN MATCHING AS WELL AS TO THE EVALUATION OF ARITHMETIC EXPRESSION ARE GIVEN.
ΤΟ ΚΕΝΤΡΙΚΟ ΑΠΟΤΕΛΕΣΜΑ ΤΗΣ ΔΙΑΤΡΙΒΗΣ ΕΙΝΑΙ ΤΟ ΘΕΩΡΗΜΑ ΤΟΥ TURAKAINEN ΓΙΑ ΔΕΝΔΡΑ ΠΟΥ Η ΔΙΑΤΥΠΩΣΗ ΤΟΥ ΕΧΕΙ ΩΣ ΕΞΗΣ: ΑΠΟ ΚΑΘΕ ΜΗΧΑΝΗ ΔΕΝΔΡΟΥ Α=(Q,Α,Τ) ΜΠΟΡΟΥΜΕ ΝΑ ΚΑΤΑΣΚΕΥΑΣΟΥΜΕ ΜΙΑ 1-ΜΗΧΑΝΗ ΔΕΝΔΡΟΥ P=(Q',Π,N) ΜΕ CARDQ+CARDΣΟ+3 ΕΣΩΤΕΡΙΚΕΣ ΚΑΤΑΣΤΑΣΕΙΣ ΕΤΣΙ ΩΣΤΕ ΓΙΑ ΚΑΘΕ T Ε ΤΣ-ΣΟ ΝΑ ΕΧΟΥΜΕ (ΤΥΠΟΣ). ΔΙΝΟΝΤΑΙ ΕΦΑΡΜΟΓΕΣ ΤΟΥ ΘΕΩΡΗΜΑΤΟΣ TURAKAINEN ΣΤΟ PATTERN MATCHING ΓΙΑ ΔΕΝΔΡΑ ΟΠΩΣ ΚΑΙ ΣΤΗΘΕΩΡΙΑ ΤΩΝ ΑΡΙΘΜΗΤΙΚΩΝ ΕΚΦΡΑΣΕΩΝ.

PhD Thesis

TREE-MACHINE
1-TREE-FUNCTION
PATTERN MATCHING ΔΕΝΔΡΩΝ
COSTABLE TREE-FUNCTION
Μαθηματικά
1-ΓΛΩΣΣΕΣ ΔΕΝΔΡΟΥ
ΑΡΙΘΜΗΤΙΚΕΣ ΕΚΦΡΑΣΕΙΣ
Mathematics
TREE PATTERN MATCING
Φυσικές Επιστήμες
RECOGNIZABLE TREE-LANGUAGE
FRONTIER OF A TREE-LANGUAGE
ΚΟΣΤΟΛΟΓΙΣΙΜΗ ΣΥΝΑΡΤΗΣΗ ΔΕΝΔΡΟΥ
1-TREE-LANGUAGE
ΣΥΝΟΡΟ ΓΛΩΣΣΑΣ ΔΕΝΔΡΟΥ
Natural Sciences
ΑΝΑΓΝΩΡΙΣΙΜΗ ΓΛΩΣΣΑ ΔΕΝΔΡΟΥ
ARITHMETIC EXPRESSIONS
ΜΗΧΑΝΗ ΔΕΝΔΡΟΥ
1-ΣΥΝΑΡΤΗΣΗ ΔΕΝΔΡΟΥ


Ελληνική γλώσσα

1994


Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)
Aristotle University Of Thessaloniki (AUTH)




*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.