Наредни састанак Семинара биће одржан онлајн у среду, 21. јуна 2023, са почетком у 19 часова.
Предавач: Andrii Shalaginov, Heiko Vogler, Prof. Dr.-Ing. habil. Dr. h.c./Univ. Szeged, Faculty of Computer Science, TU Drezden
Наслов предавања: A COMPARISON OF SETS OF RECOGNIZABLE WEIGHTED TREE LANGUAGES OVER SPECIFIC SETS OF BOUNDED LATTICES
Апстракт: We consider weighted tree automata (wta) over bounded lattices, locally finite bounded lattices, distributive bounded lattices, and finite chains and we consider the weighted tree languages defined by their run semantics and by their initial algebra semantics. Due to these eight combinations, there are eight sets of weighted tree languages. Moreover, we consider the four sets of weighted tree languages which are recognized by crisp-deterministic wta over the above mentioned sets of weight algebras. We give all inclusion relations among all these twelve sets of weighted tree languages. More precisely, we prove that eleven of the twelve sets are equal, and this set is a proper subset of the set of weighted tree languages recognized by wta over bounded lattices with initial algebra semantics.
Напомена: Регистрациона форма за учешће на Семинару је доступна на линку:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p
Уколико желите само да пратите предавање без могућности активног учешћа, пренос је доступан на линку:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz