Transductions Computed by PC-Systems of Monotone Deterministic Restarting Automata

被引：0

作者：

Hundeshagen, Norbert ^{[1
]}

Otto, Friedrich ^{[1
]}

Vollweiler, Marcel ^{[1
]}

机构：

[1] Univ Kassel, Fachbereich Elektrotech Informat, D-34109 Kassel, Germany

来源：

IMPLEMENTATION AND APPLICATION OF AUTOMATA | 2011年 / 6482卷

关键词：

LANGUAGES;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We associate a transduction (that is, a binary relation) with the characteristic language of a. restarting automaton, and we prove that in this way monotone deterministic restarting automata yield a characterization of pushdown transductions. Then we study the class of transductions that are computed by parallel communicating systems (PC-systems) of monotone deterministic restarting automata. We will see that this class includes all transductions that are computable.

引用

页码：163 / 172

页数：10

共 49 条

[31] Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata
Nagy, Benedek
Otto, Friedrich
ACTA INFORMATICA, 2013, 50 (04) : 229 - 255
[32] GODEL, NON-DETERMINISTIC SYSTEMS, AND HERMETIC AUTOMATA
DESMONDE, WH
INTERNATIONAL PHILOSOPHICAL QUARTERLY, 1971, 11 (01) : 49 - 74
[33] Centralized PC Systems of Pushdown Automata versus Multi-head Pushdown Automata
Otto, Friedrich
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2012, 2012, 7386 : 244 - 251
[34] Deterministic finite automata representation for model predictive control of hybrid systems
Kobayashi, Koichi
Imura, Jun-ichi
JOURNAL OF PROCESS CONTROL, 2012, 22 (09) : 1670 - 1680
[35] Globally Deterministic CD-Systems of Stateless R(1)-Automata
Nagy, Benedek
Otto, Friedrich
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2011, 6638 : 390 - +
[36] Assessing the combination of differential flatness and deterministic automata for controllable hybrid systems
Zahn, Frederik
Kleinert, Tobias
Hagenmeyer, Veit
2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), 2022, : 2612 - 2619
[37] Guaranteed parameter set estimation for monotone dynamical systems using hybrid automata
Meslem, Nacim
Ramdani, Nacim
Candau, Yves
Reliable Computing, 2010, 14 : 88 - 104
[38] DETERMINISTIC TREE PUSHDOWN-AUTOMATA AND MONADIC TREE REWRITING-SYSTEMS
SALOMAA, K
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1988, 37 (03) : 367 - 394
[39] On CD-systems of stateless deterministic R-automata with window size one
Nagy, Benedek
Otto, Friedrich
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2012, 78 (03) : 780 - 806
[40] On CD-systems of stateless deterministic two-phase RR(1)-automata
Kutrib, Martin
Otto, Friedrich
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7300 LNAI : 111 - 137

← 1 2 3 4 5 →