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

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

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