| |
Бенидзе, Н. Н.
Задача оценки верификации (корректности) алгоритмов и компьютерных программ [Текст] / Н. Н. Бенидзе
// Оптико-електронні інформаційно-енергетичні технології. – 2010. – № 2. – С. 80-83.
Исследуються вопросы, связанные с задачей установления правильности алгоритмов и соответствующих им компьютерных программ. Особое место занимает анализ связи между конечными автоматами, порождающими грамматиками и языками, который позволяет сформулировать принцип корректности алгоритмов и программ синтаксического анализа. |
