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

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

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

Full description

Saved in:
Bibliographic Details
Date:2021
Main Author: Бенидзе, Н. Н.
Format: Article
Language:Russian
Published: Vinnytsia National Technical University 2021
Online Access:https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Optoelectronic Information-Power Technologies

Institution

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

Similar Items