NAU Harvester System
REGULAR FORM SPECIFICATION OF L LANGUAGE DETERMINISTIC AUTOMATA
Наукові журнали Національного Авіаційного Університету
View Archive Info| Field | Value | |
| Title |
REGULAR FORM SPECIFICATION OF L LANGUAGE DETERMINISTIC AUTOMATA
РЕГУЛЯРНАЯ ФОРМА СПЕЦИФИКАЦИИ НА ЯЗЫКЕ L ДЕТЕРМИНОВАННЫХ АВТОМАТОВ РЕГУЛЯРНА ФОРМА СПЕЦИФІКАЦІЇ МОВОЮ L ДЕТЕРМІНОВАНИХ АВТОМАТІВ |
|
| Creator |
Чеботарьов, А. М.
Курівчак, О. І. |
|
| Subject |
—
deterministic automaton; language L; the rank of an atom; predicate; conjunction; atom zero rank — — детерминированный автомат; язык L; ранг атома; предикат; конъюнкция; атом нулевого ранга — — детермінований автомат; мова L; ранг атома; предикат; кон'юнкція; атом нульового рангу — |
|
| Description |
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.
Исследуются некоторые формы представления спецификаций детерминированных автоматов в языке L. Использование таких форм при построении спецификации уменьшает вероятность допущения ошибок. Досліджуються деякі форми подання специфікацій детермінованих автоматів у мові L. Використання таких форм при побудові специфікації зменшує вірогідність допущення помилок. |
|
| Publisher |
National Aviation University
|
|
| Contributor |
—
— — |
|
| Date |
2009-11-24
|
|
| Type |
—
— — |
|
| Format |
application/pdf
application/pdf application/pdf |
|
| Identifier |
http://jrnl.nau.edu.ua/index.php/SBT/article/view/5262
10.18372/2310-5461.1.5262 |
|
| Source |
Наукоємні технології; Том 1, № 1 (2009); 28-32
Science-based technologies; Том 1, № 1 (2009); 28-32 Наукоемкие технологии; Том 1, № 1 (2009); 28-32 |
|
| Language |
uk
|
|