Sekvenční a paralelní syntaktická analýza, překlad a sémantika

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 1 (SGA02002GA-ST)

Hlavní účastníci

České vysoké učení technické v Praze / Fakulta elektrotechnická

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

—

Název projektu anglicky

Sequential and parallel parsing, translation and semantics

Anotace anglicky

Parsing and translation algorithms of context-free languages belong to the fundamental algorithms of the theory of formal languages. Recently we have discovered speed-up in sequential generalized LR (GLR) parsing by removing reduce operations for the case of context-free grammars without right recursion. We have combined that speed-up with another improvement presented at the CC '99 conference by our colleagues from Canada. The first implementations of the resultant sequential LR parser are significantly faster than the standard (Tomita) GLR parser. This result is to appear in Acta Informatica. Parallel version of our GLR parsing is optimal for certain class of grammars, which includes expression grammar for example. It might be useful to also considerLL parsing from a similar approach and mutual relationship between LL and LR parsing. In the area of syntax-directed translation, we have described a translator directed by LR parsing for translations generated by every unambiguous

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

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

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

20206 - Computer hardware and architecture

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Pro naši metodu zrychleného syntaktického GLR analyzátoru s redukovaným počtem zásobníkových operací a předpočítanými operacemi byla popsána nová metoda konstrukce na základě dobře známého standartního LR analyzátoru.Výsledky měření praktických implement

Zahájení řešení

1. 1. 2002

Ukončení řešení

1. 1. 2004

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP/2005/GA0/GA05GA/U/N/B:7

Datum dodání záznamu

2. 6. 2008

Celkové uznané náklady

2 150 tis. Kč

Výše podpory ze státního rozpočtu

1 098 tis. Kč

Ostatní veřejné zdroje financování

1 052 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč