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

Автор(и)

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

Анотація

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

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

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

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

##submission.downloads##

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

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

2021-01-13

Як цитувати

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

Номер

Том 20 № 2 (2010)

Розділ

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

Метрики

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

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

Ліцензія

Автори, які публікуються у цьому журналі, погоджуються з наступними умовами:

  1. Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.
  2. Автори мають право укладати самостійні додаткові угоди щодо неексклюзивного розповсюдження роботи у тому вигляді, в якому вона була опублікована цим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати у складі монографії), за умови збереження посилання на першу публікацію роботи у цьому журналі.
  3. Політика журналу дозволяє і заохочує розміщення авторами в мережі Інтернет (наприклад, у сховищах установ або на особистих веб-сайтах) рукопису роботи, як до подання цього рукопису до редакції, так і під час його редакційного опрацювання, оскільки це сприяє виникненню продуктивної наукової дискусії та позитивно позначається на оперативності та динаміці цитування опублікованої роботи (див. The Effect of Open Access).