Задача оценки верицикации (корректности) алгоритмов и компьютерных программ
Abstract
В статье исследуются вопросы, связанные с задачей установления правильности алгоритмов и соответствующих им компьютерных программ. В работе особое место занимает анализ связи между конечными автоматами, порождающими грамматиками и языками, который позволяет сформулировать принцип корректности алгоритмов и программ синтаксического анализа. У статті досліджуються питання, пов'язані із завданням встановлення правильності алгоритмів і відповідних їм комп'ютерних программ.В роботі особливе місце займає аналіз зв'язку між кінцевими автоматами, породжують граматиками і мовами, який дозволяє сформулювати принцип коректності алгоритмів і програм синтаксичного аналізу. The article deals with issues related to the task of establishing the correctness of the algorithm and corresponding computer programs. The work occupies a special place analysis of the connection between finite automata generate grammars and languages, which allows us to formulate the principle of correctness algorithms and software parsing.
Please use this identifier to cite or link to this item:
http://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173
http://ir.lib.vntu.edu.ua/handle/123456789/3366