РЕГУЛЯРНА ФОРМА СПЕЦИФІКАЦІЇ МОВОЮ L ДЕТЕРМІНОВАНИХ АВТОМАТІВ
Наукові журнали НАУ
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
РЕГУЛЯРНА ФОРМА СПЕЦИФІКАЦІЇ МОВОЮ L ДЕТЕРМІНОВАНИХ АВТОМАТІВ
РЕГУЛЯРНАЯ ФОРМА СПЕЦИФИКАЦИИ НА ЯЗЫКЕ L ДЕТЕРМИНОВАННЫХ АВТОМАТОВ REGULAR FORM SPECIFICATION OF L LANGUAGE DETERMINISTIC AUTOMATA |
|
| Creator |
Чеботарьов, А. М.
Курівчак, О. І. |
|
| Subject |
—
детермінований автомат; мова L; ранг атома; предикат; кон'юнкція; атом нульового рангу — — детерминированный автомат; язык L; ранг атома; предикат; конъюнкция; атом нулевого ранга — — deterministic automaton; language L; the rank of an atom; predicate; conjunction; atom zero rank — |
|
| Description |
Досліджуються деякі форми подання специфікацій детермінованих автоматів у мові L. Використання таких форм при побудові специфікації зменшує вірогідність допущення помилок.
Исследуются некоторые формы представления спецификаций детерминированных автоматов в языке L. Использование таких форм при построении спецификации уменьшает вероятность допущения ошибок. Some forms of representation of deterministic automata specifications in the language L are investigated. The use of such forms in the construction of specifications decreases the possibility of errors. |
|
| Publisher |
National Aviation University
|
|
| Contributor |
—
— — |
|
| Date |
2013-11-24
|
|
| Type |
—
— — |
|
| Format |
application/pdf
application/pdf application/pdf |
|
| Identifier |
http://jrnl.nau.edu.ua/index.php/SBT/article/view/5262
|
|
| Source |
Science-based technologies; Том 1, № 1 (2009); 28-32
Наукоемкие технологии; Том 1, № 1 (2009); 28-32 Наукоємні технології; Том 1, № 1 (2009); 28-32 |
|
| Language |
uk
|
|