|
This article is cited in 2 scientific papers (total in 2 papers)
On the solution of automaton equations
I. V. Lyalin
Abstract:
We consider the problem of solving automata equations in one variable. We suggest
an algorithm for determining whether a given equation has a solution.
We introduce the notion of a boundedly non-determinate function.
It is proved that if an automaton equation has a solution, then the set of all
solutions of this equation is embedded into some boundedly non-determinate function
which can be effectively constructed on the base of the initial equation.
Received: 10.11.2003
Citation:
I. V. Lyalin, “On the solution of automaton equations”, Diskr. Mat., 16:2 (2004), 104–116; Discrete Math. Appl., 14:3 (2004), 287–300
Linking options:
https://www.mathnet.ru/eng/dm156https://doi.org/10.4213/dm156 https://www.mathnet.ru/eng/dm/v16/i2/p104
|
|