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

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

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

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2021
Автор: Бенидзе, Н. Н.
Формат: Стаття
Мова:Russian
Опубліковано: Vinnytsia National Technical University 2021
Онлайн доступ:https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Optoelectronic Information-Power Technologies

Репозитарії

Optoelectronic Information-Power Technologies
id oai:oeipt.vntu.edu.ua:article-173
record_format ojs
spelling oai:oeipt.vntu.edu.ua:article-1732015-11-05T13:34:10Z ЗАДАЧА ОЦЕНКИ ВЕРИЦИКАЦИИ (КОРРЕКТНОСТИ) АЛГОРИТМОВ И КОМПЬЮТЕРНЫХ ПРОГРАММ ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ Бенидзе, Н. Н. В статье исследуются вопросы, связанные с задачей установления правильности алгоритмов и соответствующих им компьютерных программ.В работе особое место занимает анализ связи между конечными автоматами, порождающими грамматиками и языками, который позволяет сформулировать принцип корректности алгоритмов и программ синтаксического анализа. У статті досліджуються питання, пов'язані із завданням встановлення правильності алгоритмів і відповідних їм комп'ютерних программ.В роботі особливе місце займає аналіз зв'язку між кінцевими автоматами, породжують граматиками і мовами, який дозволяє сформулювати принцип коректності алгоритмів і програм синтаксичного аналізу. Vinnytsia National Technical University 2021-01-13 Article Article application/pdf https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173 Optoelectronic Information-Power Technologies; Vol. 20 No. 2 (2010); 80-83 Оптико-електроннi iнформацiйно-енергетичнi технологiї; Том 20 № 2 (2010); 80-83 Оптико-електроннi iнформацiйно-енергетичнi технологiї; Том 20 № 2 (2010); 80-83 2311-2662 1681-7893 ru https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173/173 Авторське право (c) 2015 Оптико-електроннi iнформацiйно-енергетичнi технологiї
institution Optoelectronic Information-Power Technologies
baseUrl_str
datestamp_date 2015-11-05T13:34:10Z
collection OJS
language Russian
format Article
author Бенидзе, Н. Н.
spellingShingle Бенидзе, Н. Н.
ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ
author_facet Бенидзе, Н. Н.
author_sort Бенидзе, Н. Н.
title ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ
title_short ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ
title_full ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ
title_fullStr ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ
title_full_unstemmed ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ
title_sort завдання оцінки веріцікаціі (коректності) алгоритмів та комп'ютерних програм
title_alt ЗАДАЧА ОЦЕНКИ ВЕРИЦИКАЦИИ (КОРРЕКТНОСТИ) АЛГОРИТМОВ И КОМПЬЮТЕРНЫХ ПРОГРАММ
description В статье исследуются вопросы, связанные с задачей установления правильности алгоритмов и соответствующих им компьютерных программ.В работе особое место занимает анализ связи между конечными автоматами, порождающими грамматиками и языками, который позволяет сформулировать принцип корректности алгоритмов и программ синтаксического анализа.
publisher Vinnytsia National Technical University
publishDate 2021
url https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173
work_keys_str_mv AT benidzenn zadačaocenkivericikaciikorrektnostialgoritmovikompʹûternyhprogramm
AT benidzenn zavdannâocínkiverícíkacííkorektnostíalgoritmívtakompûternihprogram
first_indexed 2025-09-24T17:28:43Z
last_indexed 2025-09-24T17:28:43Z
_version_ 1850410202374864896

Схожі ресурси