---
id: "b74cd70b-a53a-46fb-9d2f-c060c24efbd0"
name: "LL(1) Grammar Verification"
description: "Determine if a context-free grammar is LL(1) by constructing the parsing table and checking for conflicts."
version: "0.1.0"
tags:
  - "ll1"
  - "parsing"
  - "grammar"
  - "automata"
  - "formal languages"
triggers:
  - "is this grammar LL(1)"
  - "check if grammar is LL(1)"
  - "LL(1) parsing table"
  - "determine LL(1) status"
---

# 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