I PRIKLADNAYA MATEMATIKA
(FUNDAMENTAL AND APPLIED MATHEMATICS)
2002, VOLUME 8, NUMBER 2, PAGES 503-516
D. A. Matsnev
View as HTML View as gif image View as LaTeX source
In this paper an algorithm for recognition of finite definiteness of an automaton monomial algebra is proposed. It is shown that this problem for an arbitrary algebra reduces to the following problems: determination of the star height of a regular language and finite definiteness recognition for a certain class of automaton algebras. The solution of the former problem has already been described in the literature, the complete solution of the latter problem is presented in this paper.
All articles are published in Russian.
|Main page||Contents of the journal||News||Search|
Last modified: November 26, 2002