| 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