Dynamic Logic Assigned to Automata

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

CHAJDA Ivan PASEKA Jan

Rok publikování 2017
Druh Článek v odborném periodiku
Časopis / Zdroj International Journal of Theoretical Physics
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
www https://link.springer.com/article/10.1007/s10773-017-3311-0
Doi http://dx.doi.org/10.1007/s10773-017-3311-0
Obor Obecná matematika
Klíčová slova Dynamic logic; Automaton; State-transition relation; Transition functor; Modal functor
Popis A dynamic logic B can be assigned to every automaton without regard if is deterministic or nondeterministic. This logic enables us to formulate observations on in the form of composed propositions and, due to a transition functor T, it captures the dynamic behaviour of. There are formulated conditions under which the automaton can be recovered by means of B and T.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.