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

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




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 ΓΙΑ ΔΕΝΔΡΑ ΟΠΩΣ ΚΑΙ ΣΤΗΘΕΩΡΙΑ ΤΩΝ ΑΡΙΘΜΗΤΙΚΩΝ ΕΚΦΡΑΣΕΩΝ.

TREE-MACHINE
1-TREE-FUNCTION
PATTERN MATCHING ΔΕΝΔΡΩΝ
COSTABLE TREE-FUNCTION
1-ΓΛΩΣΣΕΣ ΔΕΝΔΡΟΥ
ΑΡΙΘΜΗΤΙΚΕΣ ΕΚΦΡΑΣΕΙΣ
TREE PATTERN MATCING
RECOGNIZABLE TREE-LANGUAGE
FRONTIER OF A TREE-LANGUAGE
ΚΟΣΤΟΛΟΓΙΣΙΜΗ ΣΥΝΑΡΤΗΣΗ ΔΕΝΔΡΟΥ
1-TREE-LANGUAGE
ΣΥΝΟΡΟ ΓΛΩΣΣΑΣ ΔΕΝΔΡΟΥ
ΑΝΑΓΝΩΡΙΣΙΜΗ ΓΛΩΣΣΑ ΔΕΝΔΡΟΥ
ARITHMETIC EXPRESSIONS
ΜΗΧΑΝΗ ΔΕΝΔΡΟΥ
1-ΣΥΝΑΡΤΗΣΗ ΔΕΝΔΡΟΥ

Εθνικό Κέντρο Τεκμηρίωσης (ΕΚΤ) (EL)
National Documentation Centre (EKT) (EN)

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

1994


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



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