|
Прикладная дискретная математика, 2010, номер 4(10), страницы 64–72
(Mi pdm249)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Логическое проектирование дискретных автоматов
Регулярная форма спецификации детерминированных автоматов в языке L
А. Н. Чеботарев Институт кибернетики НАН Украины, г. Киев, Украина
Аннотация:
Исследуются некоторые формы представления спецификаций детерминированных циклических автоматов в языке L. Использование таких форм при построении спецификации уменьшает возможность допущения ошибок.
Ключевые слова:
язык спецификации, конечный автомат, циклический автомат, сверхслово.
Образец цитирования:
А. Н. Чеботарев, “Регулярная форма спецификации детерминированных автоматов в языке L”, ПДМ, 2010, № 4(10), 64–72
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdm249 https://www.mathnet.ru/rus/pdm/y2010/i4/p64
|
Статистика просмотров: |
Страница аннотации: | 200 | PDF полного текста: | 51 | Список литературы: | 58 |
|