Deciding Universality of ptNFAs is PSpace-Complete

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F18%3A00485287" target="_blank" >RIV/67985840:_____/18:00485287 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-73117-9_29" target="_blank" >http://dx.doi.org/10.1007/978-3-319-73117-9_29</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-73117-9_29" target="_blank" >10.1007/978-3-319-73117-9_29</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Deciding Universality of ptNFAs is PSpace-Complete

Popis výsledku v původním jazyce

An automaton is partially ordered if the only cycles in its transition diagram are self-loops. We study the universality problem for ptNFAs, a class of partially ordered NFAs recognizing piecewise testable languages. The universality problem asks if an automaton accepts all words over its alphabet. Deciding universality for both NFAs and partially ordered NFAs is PSpace-complete. For ptNFAs, the complexity drops to coNP-complete if the alphabet is fixed but is open if the alphabet may grow. We show, using a novel and nontrivial construction, that the problem is PSpace-complete if the alphabet may grow polynomially.

Název v anglickém jazyce

Deciding Universality of ptNFAs is PSpace-Complete

Popis výsledku anglicky

An automaton is partially ordered if the only cycles in its transition diagram are self-loops. We study the universality problem for ptNFAs, a class of partially ordered NFAs recognizing piecewise testable languages. The universality problem asks if an automaton accepts all words over its alphabet. Deciding universality for both NFAs and partially ordered NFAs is PSpace-complete. For ptNFAs, the complexity drops to coNP-complete if the alphabet is fixed but is open if the alphabet may grow. We show, using a novel and nontrivial construction, that the problem is PSpace-complete if the alphabet may grow polynomially.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2018

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

SOFSEM 2018: Theory and Practice of Computer Science

ISBN

978-3-319-73116-2

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

15

Strana od-do

413-427

Název nakladatele

Springer

Místo vydání

Cham

Místo konání akce

Krems

Datum konání akce

29. 1. 2018

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—