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

Daniel Genkin; Michael Kaminski; Liat Peterfreund

doi:10.1016/j.tcs.2014.01.020

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

Daniel Genkin, Michael Kaminski, Liat Peterfreund

Computer Science

Technion - Israel Institute of Technology

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	97-107
Number of pages	11
Journal	Theoretical Computer Science
Volume	526
DOIs	https://doi.org/10.1016/j.tcs.2014.01.020
State	Published - 20 Mar 2014

Keywords

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

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1016/j.tcs.2014.01.020

Cite this

@article{5af55861ba2a4536a6aadb2a6ebb32d5,

title = "A note on the emptiness problem for alternating finite-memory automata",

abstract = "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.",

keywords = "Alternating finite-memory automata, Alternating finite-memory tree automata, Emptiness problem, Infinite alphabets",

author = "Daniel Genkin and Michael Kaminski and Liat Peterfreund",

year = "2014",

month = mar,

day = "20",

doi = "10.1016/j.tcs.2014.01.020",

language = "الإنجليزيّة",

volume = "526",

pages = "97--107",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

}

TY - JOUR

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

AU - Genkin, Daniel

AU - Kaminski, Michael

AU - Peterfreund, Liat

PY - 2014/3/20

Y1 - 2014/3/20

N2 - 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.

AB - 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.

KW - Alternating finite-memory automata

KW - Alternating finite-memory tree automata

KW - Emptiness problem

KW - Infinite alphabets

UR - http://www.scopus.com/inward/record.url?scp=84895926582&partnerID=8YFLogxK

U2 - 10.1016/j.tcs.2014.01.020

DO - 10.1016/j.tcs.2014.01.020

M3 - مقالة

SN - 0304-3975

VL - 526

SP - 97

EP - 107

JO - Theoretical Computer Science

JF - Theoretical Computer Science

ER -

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

Abstract

Keywords

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this