• česky
  • english
Přejít na obsah | Přejít na menu

Informační systém výzkumu, experimentálního vývoje a inovací
výzkum, vývoj a inovace podporované z veřejných prostředků ČR

    • Poskytovatelé podpory ve výzkumu, vývoji a inovacích (RPO)
    • Programy výzkumu, vývoje a inovací (RPG)
    • Subjekty ve výzkumu, vývoji a inovacích (RPR)
  • Veřejné soutěže ve výzkumu, vývoji a inovacích (VES)
  • Projekty výzkumu, vývoje a inovací (CEP)
  • Výzkumné záměry (CEZ)
  • Výsledky výzkumu, vývoje a inovací (RIV)

RIV/00216208:11320/05:00000803 - Hierarchies of weakly monotone restarting automata (2005)

Údaje o výsledku
Identifikační kódRIV/00216208:11320/05:00000803
Název v původním jazyceHierarchies of weakly monotone restarting automata
Název českyHierarchie slabě monotonních restartovacích automatů
DruhJ - Článek v odborném periodiku
Jazykeng - angličtina
OborBD - Teorie informace
Rok uplatnění2005
Kód důvěrnosti údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Počet výskytů výsledku2
Tvůrci výsledku
Počet tvůrců celkem2
Počet domácích tvůrců1
TvůrceMráz František (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku)
Údaje blíže specifikující výsledek
Popis v původním jazyceIt is known that the weakly monotone restarting automata accept exactly the growing context-sensitive languages. We introduce a measure on the degree of weak monotonicity and show that the language classes obtained in this way form strict hierarchies for the various types of deterministic and nondeterministic restarting automata without auxiliary symbols.
Popis českyJe známo, že slabě monotonní restartovací automaty rozpoznávají právě všechny rostoucí kontextové jazyky. Zavádíme míru slabé monotonie a ukazujeme, že třídy jazyků, které takto dostaneme tvoří vlastní nekonečné hierarchie pro různé typy deterministických i nedeterministických restartovacích automatů bez pomocných symbolů.
Klíčová slovaHierarchies; weakly; monotone; restarting; automata
Název periodkaRAIRO - Theoretical Informatics and Applications
Rozsah stran325;342
ISSN0988-3754
Svazek periodika39
Číslo periodika v rámci uvedeného svazku2
Stát vydavatele periodikaFR - Francouzská republika
Počet stran výsledku18
Údaje o tomto záznamu o výsledku
PředkladatelUniverzita Karlova v Praze / Matematicko-fyzikální fakulta
DodavatelMSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT)
Rok sběru2006
Systémové označení dodávky datRIV06-MSM-11320___/02:2
Datum dodání27.7.2006
SpecifikaceRIV/00216208:11320/05:00000803!RIV06-MSM-11320___
Kontrolní kód[4A7036202CFE]
Další výskyty tohoto výsledku od stejného předkladatele
Dodáno GA ČR v roce 2006Záznam s identifikačním kódem RIV/00216208:11320/05:00000803 v dodávce dat RIV06-GA0-11320___/01:1
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
ProjektGA201/02/1456 - Specializované výpočetní modely v současné informatice (2002-2004, GA0/GA)
ProjektGA201/04/2102 - Inteligentní vyhledávání (2004-2006, GA0/GA)
Výzkumný záměrMSM0021620838 - Moderní metody, struktury a systémy informatiky (2005-2011, MSM)
Tuto aplikaci pro Radu pro výzkum, vývoj a inovace provozuje Výpočetní a informační centrum Českého vysokého učení technického v Praze. Vyvíjí InfoScience Praha s.r.o.. Verze aplikace 1.6.15. Datové schéma ISVAV_WEB5_00302. Podpora uživatelů na e-mailové adrese podpora (zavináč) isvav (tečka) cz nebo telefonním čísle 224 234 797 (v pracovních dnech 8-16 hod.).