A note on the emptiness problem for alternating finite-memory automata

被引：1

作者：

Genkin, Daniel ^{[1
]}

Kaminski, Michael ^{[1
]}

Peterfreund, Liat ^{[1
]}

机构：

[1] Technion Israel Inst Technol, Dept Comp Sci, IL-32000 Haifa, Israel

来源：

THEORETICAL COMPUTER SCIENCE | 2014年 / 526卷

关键词：

Infinite alphabets; Alternating finite-memory automata; Alternating finite-memory tree automata; Emptiness problem;

D O I：

10.1016/j.tcs.2014.01.020

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We present alternative relatively simple and self-contained proofs of decidability of the emptiness problems for one-register alternating finite-memory automata and one-register alternating finite-memory tree automata. (C) 2014 Elsevier B.V. All rights reserved.

引用

页码：97 / 107

页数：11

共 50 条

[41] ALTERNATING MULTIHEAD FINITE AUTOMATA
KING, KN
THEORETICAL COMPUTER SCIENCE, 1988, 61 (2-3) : 149 - 174
[42] EFFECTS OF RANDOMIZATION ON FINITE-MEMORY DECISION SCHEMES
HELLMAN, ME
IEEE TRANSACTIONS ON INFORMATION THEORY, 1972, 18 (04) : 499 - +
[43] On pebble automata for data languages with decidable emptiness problem
Tan, Tony
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2010, 76 (08) : 778 - 791
[44] The emptiness problem for valence automata over graph monoids
Zetzsche, Georg
INFORMATION AND COMPUTATION, 2021, 277
[45] NONASYMPTOTIC RESULTS FOR FINITE-MEMORY WLS FILTERS
NIEDZWIECKI, M
GUO, L
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1991, 36 (02) : 198 - 206
[46] CONTROL OF OMEGA-AUTOMATA, CHURCHS PROBLEM, AND THE EMPTINESS PROBLEM FOR TREE OMEGA-AUTOMATA
THISTLE, JG
WONHAM, WM
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 367 - 381
[47] On Pebble Automata for Data Languages with Decidable Emptiness Problem
Tan, Tony
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2009, 2009, 5734 : 712 - 723
[48] UNSOLVABILITY OF THE EMPTINESS PROBLEM FOR ALTERNATING 1-WAY MULTI-HEAD AND MULTI-TAPE FINITE AUTOMATA OVER SINGLE-LETTER ALPHABET
GEIDMANIS, D
COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1991, 10 (02): : 133 - 141
[49] A NONLINEAR FINITE-MEMORY FILTER WITH APPLICATION TO TRACKING
GALDOS, JI
PROCEEDINGS OF THE 1989 AMERICAN CONTROL CONFERENCE, VOLS 1-3, 1989, : 879 - 883
[50] FINITE-MEMORY ADAPTIVE PATTERN-RECOGNIZER
IRANI, KB
IEEE TRANSACTIONS ON INFORMATION THEORY, 1964, 10 (04) : 397 - &

← 1 2 3 4 5 →