Determinization and logic control
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F19%3A43955289" target="_blank" >RIV/49777513:23520/19:43955289 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Determinizace a logické řízení
Original language description
Článek pojednává o determinizaci konečných automatů nedeterministických a s epsilon-přechody, nově uvádí determinizaci automatu stochastického. Přínosně ukazuje, že výsledky determinizace automatů nejsou obecně přijatelné v logickém stavovém řízení.
Czech name
Determinizace a logické řízení
Czech description
Článek pojednává o determinizaci konečných automatů nedeterministických a s epsilon-přechody, nově uvádí determinizaci automatu stochastického. Přínosně ukazuje, že výsledky determinizace automatů nejsou obecně přijatelné v logickém stavovém řízení.
Classification
Type
O - Miscellaneous
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů