Pumping Deterministic Monotone Restarting Automata and DCFL

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F20%3A00533617" target="_blank" >RIV/67985807:_____/20:00533617 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216208:11320/20:10424388

Výsledek na webu

<a href="http://ceur-ws.org/Vol-2718/paper13.pdf" target="_blank" >http://ceur-ws.org/Vol-2718/paper13.pdf</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Pumping Deterministic Monotone Restarting Automata and DCFL

Popis výsledku v původním jazyce

We introduce a new type of the deterministic monotone restarting automaton that enables new types of characterization of the class of deterministic context-free languages (DCFL) based on pumping. The characterization is obtained through new types of normalizations of deterministic monotone restarting automata. This paper is the first step to prepare notions for studying the relation between restarting automata and analog neuron automata, and for studying degrees of non-regularity of DCFL.

Název v anglickém jazyce

Pumping Deterministic Monotone Restarting Automata and DCFL

Popis výsledku anglicky

We introduce a new type of the deterministic monotone restarting automaton that enables new types of characterization of the class of deterministic context-free languages (DCFL) based on pumping. The characterization is obtained through new types of normalizations of deterministic monotone restarting automata. This paper is the first step to prepare notions for studying the relation between restarting automata and analog neuron automata, and for studying degrees of non-regularity of DCFL.

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

<a href="/cs/project/GA19-05704S" target="_blank" >GA19-05704S: FoNeCo: Analytické základy neurovýpočtů</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2020

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

Proceedings of the 20th Conference Information Technologies - Applications and Theory

ISBN

—

ISSN

1613-0073

e-ISSN

—

Počet stran výsledku

8

Strana od-do

51-58

Název nakladatele

Technical University & CreateSpace Independent Publishing

Místo vydání

Aachen

Místo konání akce

Oravská Lesná

Datum konání akce

18. 9. 2020

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

EUR - Evropská akce

Kód UT WoS článku

—