Adaptive Synchronisation of Pushdown Automata

被引：0

作者：

Balasubramanian, A.R. ^{[1
]}

Thejaswini, K.S. ^{[2
]}

机构：

[1] Technische Universität München, Germany

[2] Department of Computer Science, University of Warwick, Coventry, United Kingdom

来源：

Leibniz International Proceedings in Informatics, LIPIcs | 2021年 / 203卷

关键词：

721.1 Computer Theory; Includes Computational Logic; Automata Theory; Switching Theory; Programming Theory - 921.6 Numerical Methods - 961 Systems Science;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Synchronization

引用

共 50 条

[21] Blackhole Pushdown Automata
Csuhaj-Varju, Erzsebet
Masopust, Tomas
Vaszil, Gyoergy
FUNDAMENTA INFORMATICAE, 2011, 112 (2-3) : 137 - 156
[22] PUSHDOWN TREE AUTOMATA
GUESSARIAN, I
MATHEMATICAL SYSTEMS THEORY, 1983, 16 (04): : 237 - 263
[23] Deep pushdown automata
Meduna, A
ACTA INFORMATICA, 2006, 42 (8-9) : 541 - 552
[24] Pushdown automata, multiset automata, and Petri nets
Hirshfeld, Y
Moller, F
THEORETICAL COMPUTER SCIENCE, 2001, 256 (1-2) : 3 - 21
[25] String Suffix Automata and Subtree Pushdown Automata
Janousek, Jan
PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2009, 2009, : 160 - 172
[26] Centralized PC Systems of Pushdown Automata versus Multi-head Pushdown Automata
Otto, Friedrich
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2012, 2012, 7386 : 244 - 251
[27] A Note on Pushdown Automata Systems
Petersen, Holger
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014, 2014, 8614 : 342 - 351
[28] Arbology: Trees and Pushdown Automata
Melichar, Borivoj
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2010, 6031 : 32 - 49
[29] Analyzing probabilistic pushdown automata
Tomáš Brázdil
Javier Esparza
Stefan Kiefer
Antonín Kučera
Formal Methods in System Design, 2013, 43 : 124 - 163
[30] Regulated nondeterminism in pushdown automata
Kutrib, Martin
Malcher, Andreas
Werlein, Larissa
THEORETICAL COMPUTER SCIENCE, 2009, 410 (37) : 3447 - 3460

← 1 2 3 4 5 →