TY - JOUR AU - Бенидзе, Н. Н. PY - 2021/01/13 Y2 - 2024/03/29 TI - ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ JF - Оптико-електроннi iнформацiйно-енергетичнi технологiї JA - Опт-ел. інф-енерг. техн. VL - 20 IS - 2 SE - Методи та системи оптико-електронної і цифрової обробки зображень та сигналів DO - UR - https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173 SP - 80-83 AB - У статті досліджуються питання, пов'язані із завданням встановлення правильності алгоритмів і відповідних їм комп'ютерних программ.В роботі особливе місце займає аналіз зв'язку між кінцевими автоматами, породжують граматиками і мовами, який дозволяє сформулювати принцип коректності алгоритмів і програм синтаксичного аналізу. ER -