ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ
В статье исследуются вопросы, связанные с задачей установления правильности алгоритмов и соответствующих им компьютерных программ.В работе особое место занимает анализ связи между конечными автоматами, порождающими грамматиками и языками, который позволяет сформулировать принцип корректности алгор...
Збережено в:
| Дата: | 2021 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Vinnytsia National Technical University
2021
|
| Онлайн доступ: | https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Optoelectronic Information-Power Technologies |
Репозитарії
Optoelectronic Information-Power Technologies| _version_ | 1856543721289416704 |
|---|---|
| author | Бенидзе, Н. Н. |
| author_facet | Бенидзе, Н. Н. |
| author_sort | Бенидзе, Н. Н. |
| baseUrl_str | |
| collection | OJS |
| datestamp_date | 2015-11-05T13:34:10Z |
| description | В статье исследуются вопросы, связанные с задачей установления правильности алгоритмов и соответствующих им компьютерных программ.В работе особое место занимает анализ связи между конечными автоматами, порождающими грамматиками и языками, который позволяет сформулировать принцип корректности алгоритмов и программ синтаксического анализа. |
| first_indexed | 2025-09-24T17:28:43Z |
| format | Article |
| id | oai:oeipt.vntu.edu.ua:article-173 |
| institution | Optoelectronic Information-Power Technologies |
| language | Russian |
| last_indexed | 2025-09-24T17:28:43Z |
| publishDate | 2021 |
| publisher | Vinnytsia National Technical University |
| record_format | ojs |
| spelling | oai:oeipt.vntu.edu.ua:article-1732015-11-05T13:34:10Z ЗАДАЧА ОЦЕНКИ ВЕРИЦИКАЦИИ (КОРРЕКТНОСТИ) АЛГОРИТМОВ И КОМПЬЮТЕРНЫХ ПРОГРАММ ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ Бенидзе, Н. Н. В статье исследуются вопросы, связанные с задачей установления правильности алгоритмов и соответствующих им компьютерных программ.В работе особое место занимает анализ связи между конечными автоматами, порождающими грамматиками и языками, который позволяет сформулировать принцип корректности алгоритмов и программ синтаксического анализа. У статті досліджуються питання, пов'язані із завданням встановлення правильності алгоритмів і відповідних їм комп'ютерних программ.В роботі особливе місце займає аналіз зв'язку між кінцевими автоматами, породжують граматиками і мовами, який дозволяє сформулювати принцип коректності алгоритмів і програм синтаксичного аналізу. Vinnytsia National Technical University 2021-01-13 Article Article application/pdf https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173 Optoelectronic Information-Power Technologies; Vol. 20 No. 2 (2010); 80-83 Оптико-електроннi iнформацiйно-енергетичнi технологiї; Том 20 № 2 (2010); 80-83 Оптико-електроннi iнформацiйно-енергетичнi технологiї; Том 20 № 2 (2010); 80-83 2311-2662 1681-7893 ru https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173/173 Авторське право (c) 2015 Оптико-електроннi iнформацiйно-енергетичнi технологiї |
| spellingShingle | Бенидзе, Н. Н. ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ |
| title | ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ |
| title_alt | ЗАДАЧА ОЦЕНКИ ВЕРИЦИКАЦИИ (КОРРЕКТНОСТИ) АЛГОРИТМОВ И КОМПЬЮТЕРНЫХ ПРОГРАММ |
| title_full | ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ |
| title_fullStr | ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ |
| title_full_unstemmed | ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ |
| title_short | ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ |
| title_sort | завдання оцінки веріцікаціі (коректності) алгоритмів та комп'ютерних програм |
| url | https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173 |
| work_keys_str_mv | AT benidzenn zadačaocenkivericikaciikorrektnostialgoritmovikompʹûternyhprogramm AT benidzenn zavdannâocínkiverícíkacííkorektnostíalgoritmívtakompûternihprogram |