• č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/10:10057372 - Clearing restarting automata (2010)

Údaje o výsledku
Identifikační kódRIV/00216208:11320/10:10057372
Název v původním jazyceClearing restarting automata
DruhJ - Článek v odborném periodiku
Jazykeng - angličtina
OborIN - Informatika
Rok uplatnění2010
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ů2
TvůrceMráz František (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku)
TvůrceČerno Peter (státní příslušnost: SK - Slovenská republika; A - domácí tvůrce)
Údaje blíže specifikující výsledek
Popis v původním jazyceRestarting automata were introduced as a model for analysis by reduction, which is a linguistically motivated method for checking correctness of a sentence. We propose a new restricted version of restarting automata called clearing restarting automata with a very simple definition but simultaneously with interesting properties with respect to their possible applications. The new model can be learned very efficiently from positive examples and its stronger version can be used to learn effectively a large class of languages. We relate the class of languages recognized by clearing restarting automata to the Chomsky hierarchy.
Klíčová slovagrammatical inference; formal languages; clearing restarting automata; analysis by reduction
Kód UT ISI000285459400002
Název periodkaFundamenta Informaticae
ISSN0169-2968
Svazek periodika104
Číslo periodika v rámci uvedeného svazku1
Stát vydavatele periodikaNL - Nizozemské království
Počet stran výsledku38
Údaje o tomto záznamu o výsledku
PředkladatelUniverzita Karlova v Praze / Matematicko-fyzikální fakulta
DodavatelGA0 - Grantová agentura České republiky (GA ČR)
Rok sběru2011
Systémové označení dodávky datRIV11-GA0-11320___/01:1
Datum dodání30.5.2011
SpecifikaceRIV/00216208:11320/10:10057372!RIV11-GA0-11320___
Kontrolní kód[0B80109E6BE9]
Další výskyty tohoto výsledku od stejného předkladatele
Dodáno MŠMT v roce 2011Záznam s identifikačním kódem RIV/00216208:11320/10:10057372 v dodávce dat RIV11-MSM-11320___/01:1
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
ProjektGAP103/10/0783 - Struktura a její využití při rozpoznávání (2010-2014, GA0/GA)
ProjektGAP202/10/1333 - NoSCoM: nestandardní výpočetní modely a jejich aplikace ve složitosti, lingvistice a učení (2010-2014, 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_00306. 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.).