On classification for Post's systems of automation functions with respect to decidability of the completeness problem

被引：0

作者：

Babin, DN ^{[1
]}

机构：

[1] Moscow MV Lomonosov State Univ, Moscow, Russia

来源：

DOKLADY AKADEMII NAUK | 1999年 / 367卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

页码：439 / 441

页数：3

共 17 条

[1] On decidability of the completeness problem for special systems of automaton functions
Babin, D.N.
Discrete Mathematics and Applications, 6 (05):
[2] On the classification of bases in P k according to the decidability of the completeness problem for automata
Babin D.N.
Journal of Mathematical Sciences, 2010, 168 (1) : 21 - 31
[3] On the classification of Post automaton bases by the decidability of the A-completeness property for definite automata
Zhuk, D. N.
DISCRETE MATHEMATICS AND APPLICATIONS, 2010, 20 (03): : 337 - 355
[4] A Problem of Completeness of S-Sets of Deterministic Functions
Buevich, V. A.
Podkolzina, M. A.
MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2008, 63 (05) : 211 - 213
[5] On algorithmic solvability of the A-completeness problem for systems of boundedly determinate functions containing all one-place boundedly determinate S-functions
Bujevicii, V. A.
Podkolzina, M. A.
DISCRETE MATHEMATICS AND APPLICATIONS, 2012, 22 (5-6): : 555 - 569
[6] ON SZEBEHELY'S PROBLEM FOR HOLONOMIC SYSTEMS INVOLVING GENERALIZED POTENTIAL FUNCTIONS
Borghero, Francesco
Melis, Antonio
CELESTIAL MECHANICS & DYNAMICAL ASTRONOMY, 1990, 49 (03): : 273 - 284
[7] Topological Classification of Morse Functions and Generalisations of Hilbert’s 16-th Problem
Vladimir I. Arnold
Mathematical Physics, Analysis and Geometry, 2007, 10 : 227 - 236
[8] Topological classification of Morse functions and generalisations of Hilbert's 16-th problem
Arnold, Vladimir I.
MATHEMATICAL PHYSICS ANALYSIS AND GEOMETRY, 2007, 10 (03) : 227 - 236
[9] Rota's Classification Problem, rewriting systems and Grobner-Shirshov bases
Gao, Xing
Guo, Li
JOURNAL OF ALGEBRA, 2017, 470 : 219 - 253
[10] Classification systems of Asherman's syndrome. An old problem with new directions
Manchanda, Rahul
Rathore, Aayushi
Carugno, Jose
Della Corte, Luigi
Tesarik, Jan
Torok, Peter
Vilos, George Angelos
Vitale, Salvatore Giovanni
MINIMALLY INVASIVE THERAPY & ALLIED TECHNOLOGIES, 2021, 30 (05) : 304 - 310

← 1 2 →