Search

������������ ������ ���������������� ������������������������ ���������� �� ������������ �������� ���������������� ������������������ ���� �������� �������� ���� ������������ ���������������� �������������� ������ ���� ���������������������� �� ���������� ������ ������������������������ ��������. ������������������������, ������������������ ���� ���������������� �������������������� ���� �������� �������� ���� ������������ ���������������� ������ �������������������������������� ������ idempotent ��������������������������. �������������������������� ������ �� ���������� ������ ������������������������ �������� ���������� �������������� ���� �������� ������ �������������� ������ ������������������, ������ ������ ����������������, Hadamard, Cauchy, ������ shuffle ������������������, ���������� ������ ���� �������� ���� ���������� ������ star. ������������, ���������������� ������ ���������� ������������ �������� ���� ������������ ���������������� ������ ������������������ ������ �� ���������� �������� �������������������� ���� ������ ���������� ������ ������������������������ ������ ������������������ ������, ������������ ������ �������������������� ���������� Kleene-Sch��tzenberger. ������������������������, ������������������ ���� ������������������ ������������ ���������������� ����������, ���� ��������, ���� ������������ ����������������, ������ ���������������������������� ������ ������������ ������, ������ ������������ ���� ������������������ �������������� �������������� ������ ���������� ������ ������������������������ ������ ������������������ ������. ����������, ���������������������� ���� ������������������������ ������ ������ ���������������� �������������������� ���� �������� �������� �������� ���������������������� ������ Boole, ���������� �������������������� ������ ������������������������ ���������� ������ ���� �������������� ������ Kleene ������ ������ B��chi ������ ���� ���������� ������ �������������� ������ ���������������������������� ������ ���� ���������������� ��������������������., The aim of the present Thesis is to introduce a model of weighted automata over infinite alphabets and investigate the class of their behaviors. In particular, we consider weighted variable automata over infinite alphabets and commutative and idempotent semirings. We prove that the class of their behaviors is closed under sum, and under scalar, Hadamard, Cauchy, and shuffle product, as well as star operation. We also consider rational series over infinite alphabets and we state a Kleene-Sch��tzenberger theorem. Furthermore, we obtain an MSO logical characterization for the class of series accepted by weighted variable automata. Finally, an application of our results, using the Boolean semiring, derives new results as well as a Kleene���s and a B��chi���s theorem for the class of languages accepted by variable finite automata.

���������������� top-down ������ bottom-up ���������������� �������������� ���� �������� ������ discounting ���� �������������������������������� ��������������������������. �������������������������� ������ ���� ������ ���������������� �������������� ������������������������ ������ �������� ���������� ������������ ��������������. ������ ������ ���������� �������� �������������������������� ������ �������������� ���������� Kleene, ���������� ������������ �������������� ������ ������������ ������������������������ ������. ����������, ���������������� Muller ���������������� �������������� ���� �������� ������ discounting ���������� max-plus ������ min-plus �������������������������� ������ ������������������ ������ �� ���������� ������ ������������ �������������� �������������� ������ ���������������������������� ������ �������� ���� ��������������, ������������ ���� �������������������� ������ ������ ������������ �������� ������������������ ������ �������������������� �������������� ���������������� ���������� ���� �������� ������ discounting ���� ������������ ������������., We consider weighted top-down tree automata and weighted bottom-up tree automata with discounting over commutative semirings, and we show that the two models accept the same class of formal tree series. For this class of tree series we establish a Kleene theorem and an MSO logical characterization. Then, we introduce weighted Muller tree automata with discounting over the max-plus and the min-plus semirings, and we show their expressive equivalence with two fragments of weighted MSO sentences.