ΔΕΣΜΕΣ ΔΑΣΩΝ

Abstract

Η ΘΕΩΡΙΑ ΤΩΝ 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.