|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Свойства систем определяющих соотношений для автоматов
И. С. Грунский, А. С. Сенченко
Аннотация:
Предложена каноническая система определяющих соотношений для конечных всюду определенных автоматов без выхода. Построена процедура перехода от любой конечной системы определяющих соотношений к канонической и, как следствие, процедура проверки, является ли конечная система пар слов определяющей для заданного автомата. Предложена также процедура перехода от обхода графа автомата по всем дугам к системе определяющих соотношений и наоборот.
Статья поступила: 24.01.2004
Образец цитирования:
И. С. Грунский, А. С. Сенченко, “Свойства систем определяющих соотношений для автоматов”, Дискрет. матем., 16:4 (2004), 79–87; Discrete Math. Appl., 14:6 (2004), 593–601
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm177https://doi.org/10.4213/dm177 https://www.mathnet.ru/rus/dm/v16/i4/p79
|
|