The complexity of translating logic to finite automata

被引：0

作者：

Reinhardt, K ^{[1
]}

机构：

[1] Univ Tubingen, Wilhelm Schickard Inst Informat, D-7400 Tubingen, Germany

来源：

AUTOMATA, LOGICS, AND INFINITE GAMES: A GUIDE TO CURRENT RESEARCH | 2002年 / 2500卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：231 / 238

页数：8

共 50 条

[41] Supergames played by finite automata with finite costs of complexity in an evolutionary setting
Cooper, DJ
JOURNAL OF ECONOMIC THEORY, 1996, 68 (01) : 266 - 275
[42] Size Complexity of Two-Way Finite Automata
Kapoutsis, Christos A.
DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2009, 5583 : 47 - 66
[43] Descriptional and Computational Complexity of the Circuit Representation of Finite Automata
Valdats, Maris
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2018), 2018, 10792 : 105 - 117
[44] SOME BOUNDS ON COMPLEXITY OF PREDICATE RECOGNITION BY FINITE AUTOMATA
BREITBART, Y
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 12 (03) : 336 - 349
[45] SEQUENTIAL LOGIC AND ITS APPLICATION TO SYNTHESIS OF FINITE AUTOMATA
STANCIULESCU, FS
IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS, 1965, EC14 (06): : 786 - +
[46] Empirical logic of finite automata: Microstatements versus macrostatements
Svozil, K
Zapatrin, RR
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1996, 35 (07) : 1541 - 1548
[47] Operational State Complexity and Decidability of Jumping Finite Automata
Beier, Simon
Holzer, Markus
Kutrib, Martin
DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017, 2017, 10396 : 96 - 108
[48] ON THE COMPUTATIONAL-COMPLEXITY OF FINITE CELLULAR-AUTOMATA
SUTNER, K
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 50 (01) : 87 - 97
[49] The Parameterized Complexity of Chosen Problems for Finite Automata on Trees
Barecka, Agata
Charatonik, Witold
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2011, 6638 : 129 - +
[50] State Complexity of Reversals of Deterministic Finite Automata with Output
Davies, Sylvie
IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2018, 2018, 10977 : 133 - 145

← 1 2 3 4 5 →