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

Автор(и)

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

Анотація

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

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

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

докторант Грузинского университета им. Андрея Первозванного, ассистент – профессор Сухумского государственного университета

##submission.downloads##

Переглядів анотації: 220

Опубліковано

2021-01-13

Як цитувати

[1]
Н. Н. Бенидзе, «ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП’ЮТЕРНИХ ПРОГРАМ», Опт-ел. інф-енерг. техн., вип. 20, вип. 2, с. 80–83, Січ 2021.

Номер

Розділ

Методи та системи оптико-електронної і цифрової обробки зображень та сигналів

Метрики

Завантаження

Дані завантаження ще не доступні.