Parsing schemata and correctness of parsing algorithms

被引：5
|
作者：
Sikkel, K [1 ]
机构：
[1] Univ Twente, Fac Comp Sci, NL-7500 AE Enschede, Netherlands
来源：
THEORETICAL COMPUTER SCIENCE | 1998年 / 199卷 / 1-2期
关键词：
parsing schemata; chart parsers; correctness proof;
D O I：
10.1016/S0304-3975(97)00269-7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Parsing schemata give a high-level formal description of parsers. These can be used, among others, as an intermediate level of abstraction for deriving the formal correctness of a parser. A parser is correct if it duly implements a parsing schema that is known to be correct. We discuss how the correctness of a parsing schema can be proven and how parsing schemata relate to some well-known classes of parsers, viz. chart parsers and LR-type parsers. (C) 1998 - Elsevier Science B.V. All rights reserved.
引用
收藏
页码：87 / 103
页数：17
相关论文
共 50 条
  • [1] A compiler for parsing schemata
    Gomez-Rodriguez, C.
    Vilares, J.
    Alonso, M. A.
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2009, 39 (05): : 441 - 470
  • [2] Dependency Parsing Schemata and Mildly Non-Projective Dependency Parsing
    Gomez-Rodriguez, Carlos
    Carroll, John
    Weir, David
    [J]. COMPUTATIONAL LINGUISTICS, 2011, 37 (03) : 541 - 586
  • [3] Error-repair parsing schemata
    Gomez-Rodriguez, Carlos
    Alonso, Miguel A.
    Vilares, Manuel
    [J]. THEORETICAL COMPUTER SCIENCE, 2010, 411 (7-9) : 1121 - 1139
  • [4] Parsing Schemata for Practical Text Analysis
    Sarkar, Anoop
    [J]. COMPUTATIONAL LINGUISTICS, 2011, 37 (04) : 881 - 884
  • [5] Lexical Parsing Expression Recognition Schemata
    Lumpe, Markus
    [J]. 2015 24TH AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC 2015), 2015, : 165 - 174
  • [6] Parsing Schemata for Practical Text Analysis
    Gomez-Rodriguez, Carlos
    [J]. PROCESAMIENTO DEL LENGUAJE NATURAL, 2010, (44): : 153 - 154
  • [7] PARSING ALGORITHMS WITH BACKTRACK
    BIRMAN, A
    ULLMAN, JD
    [J]. INFORMATION AND CONTROL, 1973, 23 (01): : 1 - 34
  • [8] ANALYSES OF DETERMINISTIC PARSING ALGORITHMS
    COHEN, J
    ROTH, MS
    [J]. COMMUNICATIONS OF THE ACM, 1978, 21 (06) : 448 - 458
  • [9] Evaluating GLR parsing algorithms
    Johnstone, Adrian
    Scott, Elizabeth
    Economopoulos, Giorgios
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2006, 61 (03) : 228 - 244
  • [10] STOCHASTIC PARSING AND EVOLUTIONARY ALGORITHMS
    Araujo, Lourdes
    [J]. APPLIED ARTIFICIAL INTELLIGENCE, 2009, 23 (04) : 346 - 372
12345