Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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č