This item is provided by the institution :

Repository :
National Archive of PhD Theses
see the original item page
in the repository's web site and access all digital files if the item*
share



PhD thesis (EN)

1994 (EN)
ΣΥΜΒΟΛΗ ΣΤΗ ΘΕΩΡΙΑ ΤΩΝ ΣΥΝΑΡΤΗΣΕΩΝ ΔΕΝΔΡΟΥ
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)

Greek

1994


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



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)