Проблема эквивалентности в структурированных моделях вычислений
Дата
2011
Автори
ORCID
DOI
item.page.thesis.degree.name
item.page.thesis.degree.level
item.page.thesis.degree.discipline
item.page.thesis.degree.department
item.page.thesis.degree.grantor
item.page.thesis.degree.advisor
item.page.thesis.degree.committeeMember
Назва журналу
Номер 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.