R 2007

BNFParser2: Universal Syntax Verification Utility

GOTTHARD, Petr a Václav VACEK

Základní údaje

Originální název

BNFParser2: Universal Syntax Verification Utility

Název česky

BNFParser2: Univerzální nástroj pro verifikaci syntaxe

Autoři

GOTTHARD, Petr (203 Česká republika, garant) a Václav VACEK (203 Česká republika)

Vydání

2007

Další údaje

Jazyk

angličtina

Typ výsledku

Software

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Kód RIV

RIV/00216224:14330/07:00027972

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

Parser; parser generator; context free languages; ambiguous grammars; Backus Naur form; LALR; GLR; GSS

Technické parametry

BNF Parser2 (bnfparser2) je univerzální program pro kontrolu syntaktické správnosti pracující na základě gramatiky zapsané v nějaké z mutací Backus-Naur Formy (BNF).

Štítky

Příznaky

Mezinárodní význam
Změněno: 4. 6. 2009 21:37, Ing. Petr Gotthard

Anotace

ORIG CZ

V originále

The BNF Parser2 (bnfparser2) is a universal syntax verification utility for any syntax specification writen in any Backus-Naur Form (BNF) dialect. It is based on a dynamic parser that is generated at run-time (without recompilation) depending on given syntax specification in BNF. The parser then verifies that input messages conform to this specification. The Backus-Naur Form (BNF) is a metasyntax widely used as a notation for the grammars of computer programming languages, instruction sets and communication protocols. There are many variants and extensions of BNF.

Česky

BNF Parser2 (bnfparser2) je univerzální program pro kontrolu syntaktické správnosti pracující na základě gramatiky zapsané v nějaké z mutací Backus-Naur Formy (BNF). Základ program tvoří dynamický parser, který zpracovává vstup podle zadané gramatiky přímo za běhu (bez nutnosti kompilace po zadání gramatiky). BNF Parser2 tedy ověřuje, zda vstup odpovídá specifikaci zadané BNF gramatikou. Backus-Naur Forma (BNF) je metasyntaktický formalizmus se široce používaný pro zápis gramatik při specifikaci programovacích jazyků, instrukčních sad i komunikačních protokolů. Běžně se užívá větší množství variant/mutací/rozšíření BNF.

Návaznosti

1M0545, projekt VaV
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky