Cover of the work “Solving the problem of separability of algorithmically decidable cases of A-completeness for bases of Post of definite automata”. Author: Zhuk, Dmitrii Nikolaevich. Degree: Candidate of Sciences. Year: 2009

Solving the problem of separability of algorithmically decidable cases of A-completeness for bases of Post of definite automata

Lomonosov Moscow State University (MSU), Moscow

91 pp.