Проблема эквивалентности в структурированных моделях вычислений
Вантажиться...
Дата
Автори
ORCID
DOI
Науковий ступінь
Рівень дисертації
Шифр та назва спеціальності
Рада захисту
Установа захисту
Науковий керівник
Члени комітету
Назва журналу
Номер ISSN
Назва тому
Видавець
НТУ "ХПИ"
Анотація
В статье предлагается модификация трансформационного метода, позволяющая решить проблему эквивалентности для конечных детерминированных автоматов. Ил.: 2. Библиогр.: 8 назв.
In article updating of the transformational method is offered, allowing to solve a problem of equivalence for final deterministic automata. Figs.: 2. Refs.: 8 titles.
In article updating of the transformational method is offered, allowing to solve a problem of equivalence for final deterministic automata. Figs.: 2. Refs.: 8 titles.
Опис
Бібліографічний опис
Великая Я. Г. Проблема эквивалентности в структурированных моделях вычислений / Я. Г. Великая // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2011. – № 17. – С. 10-15.