WEAK EQUIVALENCE OF AUTOMATA

被引：0

作者：

RYSTOV, IK

机构：

来源：

CYBERNETICS | 1990年 / 26卷 / 05期

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

A generalization of Moore's theorem of weak equivalence of automata is derived. The weak equivalence problem and the existence problems of homing and diagnosing input-output sequences in an automaton are shown to be polynomially complete.

引用

页码：737 / 742

页数：6

共 50 条

[41] Tests of the weak equivalence principle
Speake, C. C.
Will, C. M.
CLASSICAL AND QUANTUM GRAVITY, 2012, 29 (18)
[42] PRINCIPLE OF EQUIVALENCE AND THE WEAK INTERACTIONS
DICKE, RH
REVIEWS OF MODERN PHYSICS, 1957, 29 (03) : 355 - 362
[43] Weak equivalence for constraint sets
van, Denneheuvel, Sieger
Kwast, Karen L.
IJCAI, Proceedings of the International Joint Conference on Artificial Intelligence, 1600, 2
[44] Weak Dual Equivalence for Polynomials
Assaf, Sami
ANNALS OF COMBINATORICS, 2022, 26 (03) : 571 - 591
[45] ON THE EQUIVALENCE OF WEAK AND SCHAUDER BASES
ORIHUELA, J
ARCHIV DER MATHEMATIK, 1986, 46 (05) : 447 - 452
[46] PRESERVATION OF WEAK ORDER EQUIVALENCE
JANOWITZ, MF
STINEBRICKNER, R
MATHEMATICAL SOCIAL SCIENCES, 1993, 25 (02) : 181 - 197
[47] Weak equivalence of internal categories
Betti, R
APPLIED CATEGORICAL STRUCTURES, 2000, 8 (1-2) : 307 - 316
[48] EQUIVALENCE OF WEAK AND SCHAUDER BASIS
DEWILDE, M
STUDIA MATHEMATICA, 1970, 38 (1-5) : 457 - &
[49] Partial Models and Weak Equivalence
Bonifacio, Adilson Luiz
Moura, Arnaldo Vieira
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, 2014, 8687 : 80 - 96
[50] Testing the weak equivalence principle
Nobili, Anna M.
Comandi, Gian Luca
Pegna, Raffaello
Bramanti, Donato
Doravari, Suresh
Maccarone, Francesco
Lucchesi, David M.
RELATIVITY IN FUNDAMENTAL ASTRONOMY: DYNAMICS, REFERENCE FRAMES, AND DATA ANALYSIS, 2010, (261): : 390 - 401

← 1 2 3 4 5 →