Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Guizouarn, Loïc Germerie"'
Deterministic two-way transducers capture the class of regular functions. The efficiency of composing two-way transducers has a direct implication in algorithmic problems related to reactive synthesis, where transformation specifications are converte
Externí odkaz:
http://arxiv.org/abs/2406.11488
Publikováno v:
EPTCS 347, 2021, pp. 22-37
FIFO automata are finite state machines communicating through FIFO queues. They can be used for instance to model distributed protocols. Due to the unboundedness of the FIFO queues, several verification problems are undecidable for these systems. In
Externí odkaz:
http://arxiv.org/abs/2110.00145
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.