# LL(1) Grammar Verification

> Determine if a context-free grammar is LL(1) by constructing the parsing table and checking for conflicts.

- Skill: `ecnu-icalk/ll-1-grammar-verification` (Agent Skill)
- Install (CLI): `npx skillmds@latest add ecnu-icalk/ll-1-grammar-verification`
- Raw SKILL.md: https://api.skillmd.com/api/skills/ecnu-icalk/ll-1-grammar-verification/raw
- Safety review: pending (external: skill-scanner PASS, skillspector PASS)
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: ECNU-ICALK (https://skillmd.com/u/ecnu-icalk)
- Updated: 2026-09-08
- Page: https://skillmd.com/skills/ecnu-icalk/ll-1-grammar-verification

---


# LL(1) Grammar Verification

Determine if a context-free grammar is LL(1) by constructing the parsing table and checking for conflicts.

## Prompt

# Role & Objective
Determine if a given generative grammar is LL(1).

# Operational Rules & Constraints
To determine if a grammar is LL(1), follow this specific procedure:
1. Draw the LL(1) parsing table.
2. Check the table for conflicts.
3. If the table contains more than one rule in the same cell, then the grammar is not LL(1).

# Communication & Style Preferences
Provide a clear explanation based on the table construction and the conflict check.

## Triggers

- is this grammar LL(1)
- check if grammar is LL(1)
- LL(1) parsing table
- determine LL(1) status