Задача оценки верицикации (корректности) алгоритмов и компьютерных программ
Репозитарій Вінницького Національного Технічного Університету
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Задача оценки верицикации (корректности) алгоритмов и компьютерных программ
Завдання оцінки веріцікаціі (коректності) алгоритмів та комп'ютерних програм |
|
| Creator |
Бенидзе, Н. Н.
|
|
| Subject |
конечный автомат
формальные языки формальная грамматика регулярные множество принцип корректности алгоритмов синтаксический анализ |
|
| Description |
В статье исследуются вопросы, связанные с задачей установления правильности алгоритмов и соответствующих им компьютерных программ.В работе особое место занимает анализ связи между конечными автоматами, порождающими грамматиками и языками, который позволяет сформулировать принцип корректности алгоритмов и программ синтаксического анализа.
У статті досліджуються питання, пов'язані із завданням встановлення правильності алгоритмів і відповідних їм комп'ютерних программ.В роботі особливе місце займає аналіз зв'язку між кінцевими автоматами, породжують граматиками і мовами, який дозволяє сформулювати принцип коректності алгоритмів і програм синтаксичного аналізу. n this article various questions are observed related with the problems regarding evaluation of correctness for algorithms and corresponding computer programs. |
|
| Date |
2016-01-15T14:04:43Z
2016-01-15T14:04:43Z 2013-10-21 |
|
| Type |
Article
|
|
| Identifier |
Бенидзе, Н. Н. Задача оценки верицикации (корректности) алгоритмов и компьютерных программ [Текст] / Н. Н. Бенидзе // Оптико-електроннi iнформацiйно-енергетичнi технологiї. - 2010. - № 2. - С. 80-83.
2311-2662 1681-7893 http://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173 http://ir.lib.vntu.edu.ua/handle/123456789/3366 004.05 |
|
| Language |
ru_RU
|
|
| Publisher |
ВНТУ
|
|