GNU Bison XML Automaton Report

input grammar: broken_ielr_grammar.y

Reductions

Nonterminals useless in grammar

Terminals unused in grammar

Rules useless in grammar

Conflicts

State 4 conflicts: 1 shift/reduce

Grammar

0 $accept → BIG_S $end 1 BIG_S → SMALL_A BIG_A SMALL_A 2 | SMALL_B BIG_A SMALL_B 3 BIG_A → SMALL_A 4 | SMALL_A SMALL_A

Terminals, with rules where they appear

$end (0) 0
error (256)
SMALL_A (258) 1 3 4
SMALL_B (259) 2

Nonterminals, with rules where they appear

$accept (5)
- on left: 0
BIG_S (6)
- on left: 1 2
- on right: 0
BIG_A (7)
- on left: 3 4
- on right: 1 2

Automaton

State 0

0 $accept → • BIG_S $end 1 BIG_S → • SMALL_A BIG_A SMALL_A 2 | • SMALL_B BIG_A SMALL_B SMALL_A shift, and go to state 1 SMALL_B shift, and go to state 2 BIG_S go to state 3

State 1

1 BIG_S → SMALL_A • BIG_A SMALL_A 3 BIG_A → • SMALL_A 4 | • SMALL_A SMALL_A SMALL_A shift, and go to state 4 BIG_A go to state 5

State 2

2 BIG_S → SMALL_B • BIG_A SMALL_B 3 BIG_A → • SMALL_A 4 | • SMALL_A SMALL_A SMALL_A shift, and go to state 4 BIG_A go to state 6

State 3

0 $accept → BIG_S • $end $end shift, and go to state 7

State 4

3 BIG_A → SMALL_A • [SMALL_A, SMALL_B] 4 | SMALL_A • SMALL_A SMALL_A shift, and go to state 8 SMALL_A [reduce using rule 3 (BIG_A)] SMALL_B reduce using rule 3 (BIG_A)

State 5

1 BIG_S → SMALL_A BIG_A • SMALL_A SMALL_A shift, and go to state 9

State 6

2 BIG_S → SMALL_B BIG_A • SMALL_B SMALL_B shift, and go to state 10

State 7

0 $accept → BIG_S $end • $default accept

State 8

4 BIG_A → SMALL_A SMALL_A • [SMALL_A, SMALL_B] SMALL_A reduce using rule 4 (BIG_A) SMALL_B reduce using rule 4 (BIG_A)

State 9

1 BIG_S → SMALL_A BIG_A SMALL_A • [$end] $end reduce using rule 1 (BIG_S)

State 10

2 BIG_S → SMALL_B BIG_A SMALL_B • [$end] $end reduce using rule 2 (BIG_S)