Проблема эквивалентности в структурированных моделях вычислений

Ескіз

Дата

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.

Опис

Ключові слова

модели вычислений, трансформационный метод, конечные детерминированные автоматы., transformational method, problem of equivalence, finite deterministic automata

Бібліографічний опис

Великая Я. Г. Проблема эквивалентности в структурированных моделях вычислений / Я. Г. Великая // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2011. – № 17. – С. 10-15.

Колекції

item.page.endorsement

item.page.review

item.page.supplemented

item.page.referenced