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:
- Draw the LL(1) parsing table.
- Check the table for conflicts.
- 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