Проблема эквивалентности в структурированных моделях вычислений
Дата
2011
Автори
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.
Опис
Ключові слова
модели вычислений, трансформационный метод, конечные детерминированные автоматы., transformational method, problem of equivalence, finite deterministic automata
Бібліографічний опис
Великая Я. Г. Проблема эквивалентности в структурированных моделях вычислений / Я. Г. Великая // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2011. – № 17. – С. 10-15.