Grammar Design

Grammar Design Skill

Overview

Expert skill for formal grammar design including disambiguation, precedence, and validation.

Capabilities

• Write EBNF/BNF grammar specifications
• Design unambiguous grammars
• Handle operator precedence and associativity
• Analyze grammar conflicts
• Design grammar for specific parser classes (LL, LR, PEG)
• Document grammar with examples
• Design syntax for common language constructs
• Handle grammar evolution and backwards compatibility

Target Processes

• language-grammar-design.js
• lexer-implementation.js
• parser-development.js

Dependencies

Parsing theory literature (Dragon Book, Parsing Techniques)

Usage Guidelines

1. Notation: Use standard EBNF notation for grammar specifications
2. Disambiguation: Make grammars unambiguous or document precedence rules
3. Parser Class: Design grammar to fit target parser class (LL(k), LALR, PEG)
4. Examples: Include examples for all grammar rules
5. Evolution: Plan for backwards-compatible grammar evolution

Output Schema

{
  "type": "object",
  "properties": {
    "notation": {
      "type": "string",
      "enum": ["ebnf", "bnf", "peg", "antlr"]
    },
    "parserClass": {
      "type": "string",
      "enum": ["ll1", "llk", "lalr", "glr", "peg"]
    },
    "productionCount": { "type": "integer" },
    "conflicts": {
      "type": "array",
      "items": { "type": "string" }
    },
    "generatedFiles": {
      "type": "array",
      "items": { "type": "string" }
    }
  }
}