Formální a softwarové prostředky pro separaci korektních a nekorektních struktur
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
—
Hlavní účastníci
Univerzita Karlova / Matematicko-fyzikální fakulta
Druh soutěže
—
Číslo smlouvy
—
Alternativní jazyk
Název projektu anglicky
Automata for separation of syntactically correct from syntactically incorret structures
Anotace anglicky
The goal of this sproject is the designs and the analysis of formal and software tools for usage in: a) the development and classification of systems recognizing the syntactic incorrectness in input texts, b) comparative study sof methods for recognizingand syntactic sanalysis of languages and its complexity, c) formulation of methods for error recovery during robust syntactic analysis sof programming languages and natural languages as well, d) modeling of mechanisms for image recognition (2-dimensional lists), e) development of extendable analyzers and extendable software systems. Results should be used in computer lingustics, full-text databases and techniques of realization of large software product.
Vědní obory
Kategorie VaV
—
CEP - hlavní obor
JC - Počítačový hardware a software
CEP - vedlejší obor
BA - Obecná matematika
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>)
10101 - Pure mathematics<br>20206 - Computer hardware and architecture
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Odborný přínos projektu je zejména v rovině teoretické (zjemnění taxonomie formálních jazyků, nové výsledky o rozhodnutelnosti), částečně i v rovině aplikační (gramatické korektory). Charakteristika výsledků projektu dle závěrečné karty je odpovídající.
Termíny řešení
Zahájení řešení
1. 1. 1996
Ukončení řešení
1. 1. 1998
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
—
Dodání dat do CEP
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/1999/GA0/GA09GA/V/6:6
Datum dodání záznamu
—
Finance
Celkové uznané náklady
922 tis. Kč
Výše podpory ze státního rozpočtu
880 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč