Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Kószó, Dávid"'
We consider weighted tree automata over strong bimonoids (for short: wta). A wta $\mathcal{A}$ has the finite-image property if its recognized weighted tree language $[\![\mathcal{A}]\!]$ has finite image; moreover, $\mathcal{A}$ has the preimage pro
Externí odkaz:
http://arxiv.org/abs/2106.15867
Publikováno v:
Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Automata, Logic and Semantics (June 15, 2021) dmtcs:5943
We consider weighted tree automata (wta) over strong bimonoids and their initial algebra semantics and their run semantics. There are wta for which these semantics are different; however, for bottom-up deterministic wta and for wta over semirings, th
Externí odkaz:
http://arxiv.org/abs/1912.02660
Autor:
Kószó, Dávid1 koszod@inf.u-szeged.hu
Publikováno v:
Annales Mathematicae et Informaticae. 2022, Vol. 56, p58-70. 13p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kószó, Dávid
We advocate a new semantics, called reduction semantics, for tree generating regular systems and show that it is equivalent to the original semantics. We introduce the concept of weighted tree generating regular systems over strong bimonoids with red
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e618fdec0fa87a5ea4421490dcfdf52a
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.