Harmonization of automata specifications represented in the language L
Збережено в:
Дата: | 2016 |
---|---|
Автор: | A. N. Chebotarev |
Формат: | Стаття |
Мова: | English |
Опубліковано: |
2016
|
Назва видання: | Cybernetics and Systems Analysis |
Онлайн доступ: | http://jnas.nbuv.gov.ua/article/UJRN-0000502499 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Репозитарії
Library portal of National Academy of Sciences of Ukraine | LibNASСхожі ресурси
-
Synthesis of Σ-automata specified in the first-order logical languages LP and LF
за авторством: A. N. Chebotarev
Опубліковано: (2018) -
Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata
за авторством: A. N. Chebotarev
Опубліковано: (2017) -
Problems of synthesis of Σ-automata specified in languages LP and LF of first order logic
за авторством: A. N. Chebotarev
Опубліковано: (2017) -
On Automata Minimization by Hopcroft's Algorithm
за авторством: A. N. Chebotarev
Опубліковано: (2016) -
Detecting fictitious states in a Σ-automaton synthesized from the specification in the language LP
за авторством: A. N. Chebotarev
Опубліковано: (2019)