Automata for separation of syntactically correct from syntactically incorret structures
Project goals
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.
Keywords
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
—
Main participants
Univerzita Karlova / Matematicko-fyzikální fakulta
Contest type
—
Contract ID
—
Alternative language
Project name in Czech
Formální a softwarové prostředky pro separaci korektních a nekorektních struktur
Annotation in Czech
Cílem projektu je návrh a analýza formálních a softwarových prostředků sloužících: a) Vývoji a klasifikaci systémů odhalujících syntaktické nekorektnosti v předkládaných textech. b) Pro komparativní studium metod rozpoznávání a synataktické analýzy jazyků a jejich složitosti. c) Pro formulaci metod pro zotavení z chyb během robusní syntaktické analýzy programovacích i přirozených jazyků. d) Jako modely mechanismů pro rozpoznávání obrazů (dvourozměrné seznamy). e) vývoji rozšiřitelných analyzátorů a rozšiřitelných softwarových systémů. Výsledky budou použity v počítačové lingvistice, fulltextových databázích a při technikách realizace velkých softwarových produktů.
Scientific branches
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
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í.
Solution timeline
Realization period - beginning
Jan 1, 1996
Realization period - end
Jan 1, 1998
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP/1999/GA0/GA09GA/V/6:6
Data delivery date
—
Finance
Total approved costs
922 thou. CZK
Public financial support
880 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
922 CZK thou.
Public support
880 CZK thou.
95%
Provider
Czech Science Foundation
CEP
JC - Computer hardware and software
Solution period
01. 01. 1996 - 01. 01. 1998