Redukující hluboké zásobníkové automaty a nekonečná hierarchie

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F06%3APU66982" target="_blank" >RIV/00216305:26230/06:PU66982 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Reducing Deep Pushdown Automata and Infinite Hierarchy

Popis výsledku v původním jazyce

This contribution presents reducing variant of the deep pushdown automata.<br>Deep pushdown automata is a new generalization of the classical pushdown automata.<br>The basic idea of the modification consists of allowing these automata to access more deeper parts of pushdown<br>and reducing strings to non-input symbols in the pushdown.<br>It works similarly to bottom-up analysis simulation of context-free grammars in the classical pushdown automata<br>except it reads the input from the right to the left.<br>Further, this paper presents results concerning the equivalence of reducing deep pushdown automata with <i>n</i>-limited state grammars<br>and infinite hierarchy of language families based on that and one open problem.

Název v anglickém jazyce

Reducing Deep Pushdown Automata and Infinite Hierarchy

Popis výsledku anglicky

This contribution presents reducing variant of the deep pushdown automata.<br>Deep pushdown automata is a new generalization of the classical pushdown automata.<br>The basic idea of the modification consists of allowing these automata to access more deeper parts of pushdown<br>and reducing strings to non-input symbols in the pushdown.<br>It works similarly to bottom-up analysis simulation of context-free grammars in the classical pushdown automata<br>except it reads the input from the right to the left.<br>Further, this paper presents results concerning the equivalence of reducing deep pushdown automata with <i>n</i>-limited state grammars<br>and infinite hierarchy of language families based on that and one open problem.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA201%2F04%2F0441" target="_blank" >GA201/04/0441: Vhodně sloučené modely pro moderní informační technologie</a><br>

Návaznosti

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

Rok uplatnění

2006

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

MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

ISBN

80-214-3287-X

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

214-221

Název nakladatele

Faculty of Information Technology BUT

Místo vydání

Mikulov

Místo konání akce

Mikulov

Datum konání akce

27. 10. 2006

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

WRD - Celosvětová akce

Kód UT WoS článku

—