|
О полноте систем конечных автоматов
В. А. Орлов
Аннотация:
Для произвольного алфавита $A$ построено рекурсивное множество базисов из автоматов, имеющих один выход и не более двух входов, с алгоритмически неразрешимой проблемой выявления их полноты. Так как базисы автоматов с одним входом и одним выходом неполны, то результат в этом смысле является окончательным.
Статья поступила: 15.06.1994
Образец цитирования:
В. А. Орлов, “О полноте систем конечных автоматов”, Дискрет. матем., 9:2 (1997), 74–78; Discrete Math. Appl., 7:3 (1997), 273–277
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm474https://doi.org/10.4213/dm474 https://www.mathnet.ru/rus/dm/v9/i2/p74
|
|