Data structurecore
Parsing table
Also called action and goto table, predictive parse table.
The table that maps a parser state and lookahead symbol to a shift, reduce, goto, accept or error action.
The table that maps a parser state and lookahead symbol to a shift, reduce, goto, accept or error action.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag JQ131J Edit this page History Report an error