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

Ескіз

Дата

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.

Опис

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

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

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

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

Колекції

Підтвердження

Рецензія

Додано до

Згадується в