Створення програм за допомогою ієрархічої автоматної моделі

Скорочена інформація про документ
dc.contributor.authorСалапатов, В. І.
dc.contributor.authorSalapatov, V. I.
dc.date.accessioned2013-11-18T13:51:41Z
dc.date.available2013-11-18T13:51:41Z
dc.date.issued2012
dc.description.abstractenIn this article new methods of creating programs by means of hierarchical model of the finite automate is proposed.On such model firstly the logical model of program, like for finite automate is created and performed its verification.States of automate reflect elementary actions which may be describes on the high level program language and then be linked into single program.uk
dc.description.abstractukУ статті пропонується метод новий метод створення програм за допомогою ірархічної моделі кінцевого автомату. При цьому спочатку будується логічна модель програми у вигляді кінцевого автомату, а далі вико- нується її створення та верифікація. Стани автомату відображають виконання елементарних дій, які можуть бути описані мовою програмування високого рівня.uk
dc.format.pagerangeС. 87-90uk
dc.identifier.citationСалапатов В. І. Створення програм за допомогою ієрархічої автоматної моделі / В. І. Салапатов // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2012. – № 57. – С. 87–90. – Бібліогр.: 3 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/5827
dc.language.isoukuk
dc.publisherВек+uk
dc.publisher.placeКиївuk
dc.sourceВісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових працьuk
dc.source.nameВісник НТУУ «КПІ». Інформатика, управління та обчислювальна технікаuk
dc.status.pubpublisheduk
dc.subjectверифікаціяuk
dc.subjectієрархічна модельuk
dc.subjectкінцеві автоматиuk
dc.subjectстекuk
dc.subject.udc004.415.2.043uk
dc.titleСтворення програм за допомогою ієрархічої автоматної моделіuk
dc.title.alternativeCreation of programs through a hierarchical automatic modeluk
dc.typeArticleuk
thesis.degree.level-uk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
57_17.pdf
Розмір:
481.79 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових праць, Вип. 57