Complete system of equivalent transformations for multitape automata

被引：1

作者：

Khachatryan, VE ^{[1
]}

机构：

[1] Belgorod State Technol Acad Construct Mat, Belgorod 308012, Russia

来源：

PROGRAMMING AND COMPUTER SOFTWARE | 2003年 / 29卷 / 01期

关键词：

Operating System; Artificial Intelligence; Classical Model; Complete System; Equivalent Transformation;

D O I：

10.1023/A:1021967930348

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

A classical model of computations-multitape automata-is considered. For any n, n greater than or equal to 2, a system of equivalent transformations that is complete in the set of all n-tape automata is constructed.

引用

页码：43 / 54

页数：12

共 50 条

[21] Revisiting the Equivalence Problem for Finite Multitape Automata
Worrell, James
AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 2013, 7966 : 422 - 433
[22] Equivalence of two-dimensional multitape automata
A. A. Grigoryan
S. K. Shoukourian
Cybernetics and Systems Analysis, 2008, 44 (3) : 464 - 464
[23] ON THE EQUIVALENCE PROBLEM FOR DETERMINISTIC MULTITAPE AUTOMATA AND TRANSDUCERS
CULIK, K
KARHUMAKI, J
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 349 : 468 - 479
[24] EQUIVALENCE OF TWO-DIMENSIONAL MULTITAPE AUTOMATA
Hrigoryan, A. A.
Shukuryan, S. K.
CYBERNETICS AND SYSTEMS ANALYSIS, 2008, 44 (01) : 1 - 6
[25] ALGORITHM FOR ESTABLISHING THE EQUIVALENCE OF DETERMINISTIC MULTITAPE AUTOMATA
Borisenko, V. I.
CYBERNETICS AND SYSTEMS ANALYSIS, 2015, 51 (05) : 720 - 729
[26] MINIMIZATION OF COMBINATIONAL MULTIPLEXOR SELECTOR AUTOMATA (MS-AUTOMATA AND EQUIVALENT TRANSFORMATIONS OF THEIR TREES)
MIKHAILOV, SA
CYBERNETICS, 1989, 25 (05): : 622 - 628
[27] THE INCLUSION PROBLEM FOR SOME CLASSES OF DETERMINISTIC MULTITAPE AUTOMATA
KINBER, EB
THEORETICAL COMPUTER SCIENCE, 1983, 26 (1-2) : 1 - 24
[28] Derived-Term Automata of Multitape Rational Expressions
Demaille, Akim
IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2016, 9705 : 51 - 63
[29] EQUIVALENT TRANSFORMATIONS OF A SYSTEM OF SEQUENCES
LOPUKHOV, AA
CHAPTSOV, RP
ENGINEERING CYBERNETICS, 1980, 18 (02): : 91 - 96
[30] On the Construction of Complete Systems of Equivalent Transformations of Program Schemes
Podlovchenko, R. I.
Airapetyan, M. G.
Programming and Computer Software (English Translation of Programmirovanie), 22 (01):

← 1 2 3 4 5 →