ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ

  • Н. Н. Бенидзе Грузинский университет им. Андрея Первозванного, Сухумский государственный университет

Анотація

У статті досліджуються питання, пов'язані із завданням встановлення правильності алгоритмів і відповідних їм комп'ютерних программ.В роботі особливе місце займає аналіз зв'язку між кінцевими автоматами, породжують граматиками і мовами, який дозволяє сформулювати принцип коректності алгоритмів і програм синтаксичного аналізу.

Біографія автора

Н. Н. Бенидзе, Грузинский университет им. Андрея Первозванного, Сухумский государственный университет
докторант Грузинского университета им. Андрея Первозванного, ассистент – профессор Сухумского государственного университета
Як цитувати
[1]
Н. Н. Бенидзе, ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП’ЮТЕРНИХ ПРОГРАМ, ОЕІЕТ, vol 20, № 2, с. 80-83, 1.
Розділ
Методи та системи оптико-електронної і цифрової обробки зображень та сигналів