Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 2006, Volume 6, Issue 4, Pages 83–92
Algorithmic recognizability of finiteness property of finite-definite systems
E. N. Pavlovsky
Novosibirsk State University
The object of this work is a property of finiteness of finite-definite systems, specified with a number of quasi-identities. The purpose of this work is to show in what cases algorithm determining finiteness such systems exists. Using algorithmic methods in universal algebra theory, basing on previous results in adjacent regions (S. I. Adyan, M. O. Rabin, on algorithmic properties of finite-definite groups and semigroups) there was a success in following results: in case of signature consist of one unary operation and some constants — there is an unified algorithm determining finiteness of finite-definite systems, in case of several unary operations or one binary operation with at least one constant — there is no unified algorithm.
Results of this research are able to be applied in treat of correctness of abstract data type description with quasi-identities.
PDF file (281 kB)
510.53, 512.572, 512.53, [510+519.7]:519.68
E. N. Pavlovsky, “Algorithmic recognizability of finiteness property of finite-definite systems”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 6:4 (2006), 83–92
Citation in format AMSBIB
\paper Algorithmic recognizability of finiteness property of finite-definite systems
\jour Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform.
Citing articles on Google Scholar:
Related articles on Google Scholar:
|Number of views:|