ЖДТУ
Бібліотека
Електронний каталог
Анализ фиктивности состояния автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
Вид документа: Стаття періодичного видання
Автор: Чеботарёв А.Н. Вид автора: персона
Мова: Російська Обсяг: С.3
Шифр: 519.7 УДК: 519.7
| Аннотацiя: | язык спецификации L* , обратное сверхслово, элиминация кванторов, синтез автомата, фиктивное состояние |
| Карта Сайту © Житомирський державний технологiчний університет |