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)

1993 (EN)
ΔΕΣΜΕΣ ΔΑΣΩΝ
SHEAVES OF FORESTS

ΡΑΧΩΝΗΣ, ΓΕΩΡΓΙΟΣ

Η ΘΕΩΡΙΑ ΤΩΝ FULL AFLS ΔΟΜΕΙΤΑΙ ΣΤΟΝ ΧΩΡΟ ΤΩΝ ΔΕΝΔΡΩΝ. ΑΛΦΑΒΗΤΙΚΟΣ ΚΩΝΟΣ, REC-ΚΛΕΙΣΤΗ ΟΙΚΟΓΕΝΕΙΑ ΔΑΣΩΝ ΚΑΙ ΔΕΣΜΗ, ΕΙΝΑΙ ΟΙ ΑΝΤΙΣΤΟΙΧΕΣ ΕΝΝΟΙΕΣ ΤΟΥ ΡΗΤΟΥ ΚΩΝΟΥ, ΡΗΤΗΣ ΚΛΕΙΣΤΗΣ ΟΙΚΟΓΕΝΕΙΑΣ ΓΛΩΣΣΩΝ ΚΑΙ FULL AFLL. ΜΕ ΤΗ ΒΟΗΘΕΙΑ ΕΝΟΣ ΝΕΟΥ ΤΥΠΟΥ ΑΝΤΙΚΑΤΑΣΤΑΣΕΩΝ, ΧΑΡΑΚΤΗΡΙΖΕΤΑΙ Η ΕΛΑΧΙΣΤΗ ΔΕΣΜΗ ΠΟΥ ΠΕΡΙΕΧΕΙ ΜΙΑ ΤΥΧΑΙΑ ΟΙΚΟΓΕΝΕΙΑ ΔΑΣΩΝ. Η ΟΙΚΟΓΕΝΕΙΑ ΤΩΝ ΦΟΡΕΩΝ ΤΩΝ ΑΝΑΓΝΩΡΙΣΙΜΩΝ ΔΕΝΔΡΟΣΕΙΡΩΝ, ΑΠΟΤΕΛΕΙ ΔΕΣΜΗ. ΕΙΣΑΓΕΤΑΙ ΕΝΑΣ ΝΕΟΣ ΤΥΠΟΣ ΔΕΝΔΡΟΑΥΤΟΜΑΤΩΝ, ΤΩΝ ΜΟΝΟΜΕΤΡΗΤΩΝ, ΤΩΝ ΟΠΟΙΩΝ ΟΙ ΣΥΜΠΕΡΙΦΟΡΕΣ ΑΠΟΤΕΛΟΥΝ ΔΕΣΜΗ (OCF) ΚΑΙ ΟΙ ΠΕΡΙΟΡΙΣΜΕΝΕΣ ΣΥΜΠΕΡΙΦΟΡΕΣ ΑΛΦΑΒΗΤΙΚΟ ΚΩΝΟ (ROCF).
WE CONSTRUCT THE THEORY OF FULL AFLS IN THE FRAMEWORK OF TREES. ALPHABETIC CONE, REC-CLOSED FAMILY OF FORESTS AND SHEAF, ARE THE CORRESPONDING NOTIONS TO RATIONAL CONE, RATIONAL-CLOSED FAMILY OF LANGUAGES AND FULL AFL. BY USING A NEW TYPE OF SUBSTITUTION, WE CHARACTERIZE THE LEAST SHEAF GENERATED BY AN ARBITRARY FAMILY OF FORESTS. THE FAMILY OF THE SUPPORTS OF RECOGNIZABLE FORMAL POWER TREESERIES IS PROVED TO BE A SHEAF. WE INTRODUCE A NEW TYPE OF TREEAUTOMATA WHOSE BEHAVIORS CONSTITUTE A SHEAF (OCF), WHEREAS THEIR RESTRICTED BEHAVIORS (ROCF) CONSTITUTE AN ALPHABETIC CONE.

ONE COUNTER FORESTS
ΑΛΦΑΒΗΤΙΚΟΙ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΙ
ALPHABETIC SUBSTITUTIONS
APLHABETIC TRANSDUCTIONS
ONE COUNTER TREEAUTOMATA
ΔΕΣΜΗ ΔΑΣΩΝ
ALPHABETIC CONE, REC-CLOSED FAMILY
ΜΟΝΟΜΕΤΡΗΤΑ ΔΕΝΔΡΟΑΥΤΟΜΑΤΑ
ΦΟΡΕΙΣ ΑΝΑΓΝΩΡΙΣΙΜΩΝ ΔΕΝΔΡΟΣΕΙΡΩΝ
SUPPORTS OF RECOGNIZABLE TREESERIES
ΜΟΝΟΜΕΤΡΗΤΑ ΔΑΣΗ
SHEAVES OF FORESTS
ΑΛΦΑΒΗΤΙΚΟΣ ΚΩΝΟΣ, REC-ΚΛΕΙΣΤΗ ΟΙΚΟΓΕΝΕΙΑ
ΠΕΡΙΟΡΙΣΜΕΝΑ ΜΟΝΟΜΕΤΡΗΤΑ ΔΑΣΗ
RESTRICTED ONE COUNTER FORESTS
ΑΛΦΑΒΗΤΙΚΕΣ ΑΝΤΙΚΑΤΑΣΤΑΣΕΙΣ

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

1993


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



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