@article{Бенидзе_2021, title={ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП’ЮТЕРНИХ ПРОГРАМ}, volume={20}, url={https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173}, abstractNote={У статті досліджуються питання, пов’язані із завданням встановлення правильності алгоритмів і відповідних їм комп’ютерних программ.В роботі особливе місце займає аналіз зв’язку між кінцевими автоматами, породжують граматиками і мовами, який дозволяє сформулювати принцип коректності алгоритмів і програм синтаксичного аналізу.}, number={2}, journal={Оптико-електроннi iнформацiйно-енергетичнi технологiї}, author={Бенидзе, Н. Н.}, year={2021}, month={Січ}, pages={80–83} }