Перегляд Оптико-електронні інформаційно-енергетичні технології. 2010. № 2 за темою "конечный автомат"
Відображеня елементи 1-1 із 1
-
Задача оценки верицикации (корректности) алгоритмов и компьютерных программ
(ВНТУ, 2010)В статье исследуются вопросы, связанные с задачей установления правильности алгоритмов и соответствующих им компьютерных программ. В работе особое место занимает анализ связи между конечными автоматами, порождающими ...