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