|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
О решении автоматных уравнений
И. В. Лялин
Аннотация:
Рассматривается задача решения автоматных уравнений с одним неизвестным. Предложен алгоритм для определения того, имеет или нет решение данное автоматное уравнение. Вводится понятие ограниченно-недетерминированной функции. Доказано, что в случае существования решения автоматного уравнения множество всех его решений вложимо в некую ограниченно-недетерминированную функцию, которая может быть эффективно построена по исходному уравнению.
Статья поступила: 10.11.2003
Образец цитирования:
И. В. Лялин, “О решении автоматных уравнений”, Дискрет. матем., 16:2 (2004), 104–116; Discrete Math. Appl., 14:3 (2004), 287–300
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm156https://doi.org/10.4213/dm156 https://www.mathnet.ru/rus/dm/v16/i2/p104
|
|