Comparing Two-Dimensional One-Marker Automata to Sgraffito Automata

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F13%3A10145554" target="_blank" >RIV/00216208:11320/13:10145554 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/68407700:21230/13:00212544

Výsledek na webu

<a href="http://link.springer.com.ezproxy.is.cuni.cz/chapter/10.1007/978-3-642-39274-0_24" target="_blank" >http://link.springer.com.ezproxy.is.cuni.cz/chapter/10.1007/978-3-642-39274-0_24</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-642-39274-0_24" target="_blank" >10.1007/978-3-642-39274-0_24</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Comparing Two-Dimensional One-Marker Automata to Sgraffito Automata

Popis výsledku v původním jazyce

We compare two types of automata for accepting picture languages to each other: the two-dimensional one-marker automaton and the sgraffito automaton. On the one hand, it is shown that deterministic sgraffito automata are strictly more powerful than deterministic two-dimensional one-marker automata. On the other hand, nondeterministic two-dimensional one-marker automata accept some picture languages that cannot be accepted by sgraffito automata. However, if nondeterministic two-dimensional one-marker automata were to accept all picture languages that are accepted by (deterministic) sgraffito automata, then the complexity classes NL (nondeterministic logarithmic space) and P (deterministic polynomial time) would coincide. Accordingly, it is likely that the classes of picture languages accepted by these two types of nondeterministic automata are incomparable under inclusion.

Název v anglickém jazyce

Comparing Two-Dimensional One-Marker Automata to Sgraffito Automata

Popis výsledku anglicky

We compare two types of automata for accepting picture languages to each other: the two-dimensional one-marker automaton and the sgraffito automaton. On the one hand, it is shown that deterministic sgraffito automata are strictly more powerful than deterministic two-dimensional one-marker automata. On the other hand, nondeterministic two-dimensional one-marker automata accept some picture languages that cannot be accepted by sgraffito automata. However, if nondeterministic two-dimensional one-marker automata were to accept all picture languages that are accepted by (deterministic) sgraffito automata, then the complexity classes NL (nondeterministic logarithmic space) and P (deterministic polynomial time) would coincide. Accordingly, it is likely that the classes of picture languages accepted by these two types of nondeterministic automata are incomparable under inclusion.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2013

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

Implementation and Application of Automata

ISBN

978-3-642-39273-3

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

12

Strana od-do

268-279

Název nakladatele

Springer

Místo vydání

Berlin

Místo konání akce

Halifax, Kanada

Datum konání akce

16. 7. 2013

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

WRD - Celosvětová akce

Kód UT WoS článku

—