Další formáty:
BibTeX
LaTeX
RIS
@article{1401897, author = {Chajda, Ivan and Paseka, Jan}, article_location = {NEW YORK}, article_number = {12}, doi = {http://dx.doi.org/10.1007/s10773-017-3311-0}, keywords = {Dynamic logic; Automaton; State-transition relation; Transition functor; Modal functor}, language = {eng}, issn = {0020-7748}, journal = {International Journal of Theoretical Physics}, title = {Dynamic Logic Assigned to Automata}, url = {https://link.springer.com/article/10.1007/s10773-017-3311-0}, volume = {56}, year = {2017} }
TY - JOUR ID - 1401897 AU - Chajda, Ivan - Paseka, Jan PY - 2017 TI - Dynamic Logic Assigned to Automata JF - International Journal of Theoretical Physics VL - 56 IS - 12 SP - 3794-3806 EP - 3794-3806 PB - SPRINGER/PLENUM PUBLISHERS SN - 00207748 KW - Dynamic logic KW - Automaton KW - State-transition relation KW - Transition functor KW - Modal functor UR - https://link.springer.com/article/10.1007/s10773-017-3311-0 L2 - https://link.springer.com/article/10.1007/s10773-017-3311-0 N2 - 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. ER -
CHAJDA, Ivan a Jan PASEKA. Dynamic Logic Assigned to Automata. \textit{International Journal of Theoretical Physics}. NEW YORK: SPRINGER/PLENUM PUBLISHERS, 2017, roč.~56, č.~12, s.~3794-3806. ISSN~0020-7748. Dostupné z: https://dx.doi.org/10.1007/s10773-017-3311-0.
|