toy.output

Terminals unused in grammar

    TRUE
    FALSE
    MOD
    AND
    OR
    NOT
    COMMENT
    EQU
    LTE
    GTE
    NEQ
    NEGATE
    ADD
    SUB
    MUL
    DIV
    LT
    GT


Rules useless in parser due to conflicts

    3 line: ε


State 1 conflicts: 7 shift/reduce
State 14 conflicts: 6 shift/reduce
State 19 conflicts: 6 shift/reduce
State 20 conflicts: 6 shift/reduce
State 32 conflicts: 1 shift/reduce
State 74 conflicts: 1 shift/reduce


Grammar

    0 $accept: input $end

    1 input: ε
    2      | input line

    3 line: ε
    4     | pgm

    5 pgm2: ε
    6     | proc pgm2
    7     | struct_ pgm2

    8 pgm: proc pgm2
    9    | struct_

   10 exp: ε
   11    | int_literal

   12 int_literal: NUMBER

   13 type: INT
   14     | BOOL
   15     | STRING
   16     | ID

   17 declaration: type ID
   18            | declaration COMMA declaration

   19 return_type: type
   20            | VOID

   21 struct_: STRUCT Name OB declaration CB

   22 l_exp: ID
   23      | ID DOT l_exp

   24 intern_scope_then: THEN

   25 intern_scope_else: ELSE

   26 FOR_LOOP: FOR

   27 stmt: FOR_LOOP OP ID ASSIGN exp SEMICOLON exp SEMICOLON stmt CP stmt
   28     | IF OP exp CP intern_scope_then stmt
   29     | IF OP exp CP intern_scope_then stmt intern_scope_else stmt
   30     | PRINTF OP STRING CP SEMICOLON
   31     | RETURN exp SEMICOLON
   32     | OB stmt_seq CB
   33     | type ID SEMICOLON
   34     | l_exp ASSIGN exp SEMICOLON

   35 stmt_seq: ε
   36         | stmt stmt_seq

   37 Name: ID

   38 proc: return_type Name OP declaration CP OB stmt_seq CB


Terminals, with rules where they appear

    $end (0) 0
    error (256)
    BOOL (258) 14
    TRUE (259)
    FALSE (260)
    VOID (261) 20
    PRINTF (262) 30
    STRUCT (263) 21
    IF (264) 28 29
    THEN (265) 24
    ELSE (266) 25
    FOR (267) 26
    RETURN (268) 31
    MOD (269)
    INT (270) 13
    AND (271)
    OR (272)
    NOT (273)
    ID <str> (274) 16 17 22 23 27 33 37
    NUMBER <val> (275) 12
    STRING (276) 15 30
    COMMENT (277)
    EQU (278)
    LTE (279)
    GTE (280)
    NEQ (281)
    OB (282) 21 32 38
    CB (283) 21 32 38
    SEMICOLON (284) 27 30 31 33 34
    NEGATE (285)
    OP (286) 27 28 29 30 38
    CP (287) 27 28 29 30 38
    ADD (288)
    SUB (289)
    MUL (290)
    DIV (291)
    DOT (292) 23
    COMMA (293) 18
    ASSIGN (294) 27 34
    LT (295)
    GT (296)


Nonterminals, with rules where they appear

    $accept (42)
        on left: 0
    input (43)
        on left: 1 2
        on right: 0 2
    line (44)
        on left: 3 4
        on right: 2
    pgm2 (45)
        on left: 5 6 7
        on right: 6 7 8
    pgm (46)
        on left: 8 9
        on right: 4
    exp <val> (47)
        on left: 10 11
        on right: 27 28 29 31 34
    int_literal <val> (48)
        on left: 12
        on right: 11
    type <val> (49)
        on left: 13 14 15 16
        on right: 17 19 33
    declaration <val> (50)
        on left: 17 18
        on right: 18 21 38
    return_type (51)
        on left: 19 20
        on right: 38
    struct_ <val> (52)
        on left: 21
        on right: 7 9
    l_exp <val> (53)
        on left: 22 23
        on right: 23 34
    intern_scope_then (54)
        on left: 24
        on right: 28 29
    intern_scope_else (55)
        on left: 25
        on right: 29
    FOR_LOOP (56)
        on left: 26
        on right: 27
    stmt <val> (57)
        on left: 27 28 29 30 31 32 33 34
        on right: 27 28 29 36
    stmt_seq <val> (58)
        on left: 35 36
        on right: 32 36 38
    Name <val> (59)
        on left: 37
        on right: 21 38
    proc <val> (60)
        on left: 38
        on right: 6 8


State 0

    0 $accept: • input $end

    $default  reduce using rule 1 (input)

    input  go to state 1


State 1

    0 $accept: input • $end
    2 input: input • line

    $end    shift, and go to state 2
    BOOL    shift, and go to state 3
    VOID    shift, and go to state 4
    STRUCT  shift, and go to state 5
    INT     shift, and go to state 6
    ID      shift, and go to state 7
    STRING  shift, and go to state 8

    $end    [reduce using rule 3 (line)]
    BOOL    [reduce using rule 3 (line)]
    VOID    [reduce using rule 3 (line)]
    STRUCT  [reduce using rule 3 (line)]
    INT     [reduce using rule 3 (line)]
    ID      [reduce using rule 3 (line)]
    STRING  [reduce using rule 3 (line)]

    line         go to state 9
    pgm          go to state 10
    type         go to state 11
    return_type  go to state 12
    struct_      go to state 13
    proc         go to state 14


State 2

    0 $accept: input $end •

    $default  accept


State 3

   14 type: BOOL •

    $default  reduce using rule 14 (type)


State 4

   20 return_type: VOID •

    $default  reduce using rule 20 (return_type)


State 5

   21 struct_: STRUCT • Name OB declaration CB

    ID  shift, and go to state 15

    Name  go to state 16


State 6

   13 type: INT •

    $default  reduce using rule 13 (type)


State 7

   16 type: ID •

    $default  reduce using rule 16 (type)


State 8

   15 type: STRING •

    $default  reduce using rule 15 (type)


State 9

    2 input: input line •

    $default  reduce using rule 2 (input)


State 10

    4 line: pgm •

    $default  reduce using rule 4 (line)


State 11

   19 return_type: type •

    $default  reduce using rule 19 (return_type)


State 12

   38 proc: return_type • Name OP declaration CP OB stmt_seq CB

    ID  shift, and go to state 15

    Name  go to state 17


State 13

    9 pgm: struct_ •

    $default  reduce using rule 9 (pgm)


State 14

    8 pgm: proc • pgm2

    BOOL    shift, and go to state 3
    VOID    shift, and go to state 4
    STRUCT  shift, and go to state 5
    INT     shift, and go to state 6
    ID      shift, and go to state 7
    STRING  shift, and go to state 8

    BOOL      [reduce using rule 5 (pgm2)]
    VOID      [reduce using rule 5 (pgm2)]
    STRUCT    [reduce using rule 5 (pgm2)]
    INT       [reduce using rule 5 (pgm2)]
    ID        [reduce using rule 5 (pgm2)]
    STRING    [reduce using rule 5 (pgm2)]
    $default  reduce using rule 5 (pgm2)

    pgm2         go to state 18
    type         go to state 11
    return_type  go to state 12
    struct_      go to state 19
    proc         go to state 20


State 15

   37 Name: ID •

    $default  reduce using rule 37 (Name)


State 16

   21 struct_: STRUCT Name • OB declaration CB

    OB  shift, and go to state 21


State 17

   38 proc: return_type Name • OP declaration CP OB stmt_seq CB

    OP  shift, and go to state 22


State 18

    8 pgm: proc pgm2 •

    $default  reduce using rule 8 (pgm)


State 19

    7 pgm2: struct_ • pgm2

    BOOL    shift, and go to state 3
    VOID    shift, and go to state 4
    STRUCT  shift, and go to state 5
    INT     shift, and go to state 6
    ID      shift, and go to state 7
    STRING  shift, and go to state 8

    BOOL      [reduce using rule 5 (pgm2)]
    VOID      [reduce using rule 5 (pgm2)]
    STRUCT    [reduce using rule 5 (pgm2)]
    INT       [reduce using rule 5 (pgm2)]
    ID        [reduce using rule 5 (pgm2)]
    STRING    [reduce using rule 5 (pgm2)]
    $default  reduce using rule 5 (pgm2)

    pgm2         go to state 23
    type         go to state 11
    return_type  go to state 12
    struct_      go to state 19
    proc         go to state 20


State 20

    6 pgm2: proc • pgm2

    BOOL    shift, and go to state 3
    VOID    shift, and go to state 4
    STRUCT  shift, and go to state 5
    INT     shift, and go to state 6
    ID      shift, and go to state 7
    STRING  shift, and go to state 8

    BOOL      [reduce using rule 5 (pgm2)]
    VOID      [reduce using rule 5 (pgm2)]
    STRUCT    [reduce using rule 5 (pgm2)]
    INT       [reduce using rule 5 (pgm2)]
    ID        [reduce using rule 5 (pgm2)]
    STRING    [reduce using rule 5 (pgm2)]
    $default  reduce using rule 5 (pgm2)

    pgm2         go to state 24
    type         go to state 11
    return_type  go to state 12
    struct_      go to state 19
    proc         go to state 20


State 21

   21 struct_: STRUCT Name OB • declaration CB

    BOOL    shift, and go to state 3
    INT     shift, and go to state 6
    ID      shift, and go to state 7
    STRING  shift, and go to state 8

    type         go to state 25
    declaration  go to state 26


State 22

   38 proc: return_type Name OP • declaration CP OB stmt_seq CB

    BOOL    shift, and go to state 3
    INT     shift, and go to state 6
    ID      shift, and go to state 7
    STRING  shift, and go to state 8

    type         go to state 25
    declaration  go to state 27


State 23

    7 pgm2: struct_ pgm2 •

    $default  reduce using rule 7 (pgm2)


State 24

    6 pgm2: proc pgm2 •

    $default  reduce using rule 6 (pgm2)


State 25

   17 declaration: type • ID

    ID  shift, and go to state 28


State 26

   18 declaration: declaration • COMMA declaration
   21 struct_: STRUCT Name OB declaration • CB

    CB     shift, and go to state 29
    COMMA  shift, and go to state 30


State 27

   18 declaration: declaration • COMMA declaration
   38 proc: return_type Name OP declaration • CP OB stmt_seq CB

    CP     shift, and go to state 31
    COMMA  shift, and go to state 30


State 28

   17 declaration: type ID •

    $default  reduce using rule 17 (declaration)


State 29

   21 struct_: STRUCT Name OB declaration CB •

    $default  reduce using rule 21 (struct_)


State 30

   18 declaration: declaration COMMA • declaration

    BOOL    shift, and go to state 3
    INT     shift, and go to state 6
    ID      shift, and go to state 7
    STRING  shift, and go to state 8

    type         go to state 25
    declaration  go to state 32


State 31

   38 proc: return_type Name OP declaration CP • OB stmt_seq CB

    OB  shift, and go to state 33


State 32

   18 declaration: declaration • COMMA declaration
   18            | declaration COMMA declaration •

    COMMA  shift, and go to state 30

    COMMA     [reduce using rule 18 (declaration)]
    $default  reduce using rule 18 (declaration)


State 33

   38 proc: return_type Name OP declaration CP OB • stmt_seq CB

    BOOL    shift, and go to state 3
    PRINTF  shift, and go to state 34
    IF      shift, and go to state 35
    FOR     shift, and go to state 36
    RETURN  shift, and go to state 37
    INT     shift, and go to state 6
    ID      shift, and go to state 38
    STRING  shift, and go to state 8
    OB      shift, and go to state 39

    $default  reduce using rule 35 (stmt_seq)

    type      go to state 40
    l_exp     go to state 41
    FOR_LOOP  go to state 42
    stmt      go to state 43
    stmt_seq  go to state 44


State 34

   30 stmt: PRINTF • OP STRING CP SEMICOLON

    OP  shift, and go to state 45


State 35

   28 stmt: IF • OP exp CP intern_scope_then stmt
   29     | IF • OP exp CP intern_scope_then stmt intern_scope_else stmt

    OP  shift, and go to state 46


State 36

   26 FOR_LOOP: FOR •

    $default  reduce using rule 26 (FOR_LOOP)


State 37

   31 stmt: RETURN • exp SEMICOLON

    NUMBER  shift, and go to state 47

    $default  reduce using rule 10 (exp)

    exp          go to state 48
    int_literal  go to state 49


State 38

   16 type: ID •
   22 l_exp: ID •
   23      | ID • DOT l_exp

    DOT  shift, and go to state 50

    ASSIGN    reduce using rule 22 (l_exp)
    $default  reduce using rule 16 (type)


State 39

   32 stmt: OB • stmt_seq CB

    BOOL    shift, and go to state 3
    PRINTF  shift, and go to state 34
    IF      shift, and go to state 35
    FOR     shift, and go to state 36
    RETURN  shift, and go to state 37
    INT     shift, and go to state 6
    ID      shift, and go to state 38
    STRING  shift, and go to state 8
    OB      shift, and go to state 39

    $default  reduce using rule 35 (stmt_seq)

    type      go to state 40
    l_exp     go to state 41
    FOR_LOOP  go to state 42
    stmt      go to state 43
    stmt_seq  go to state 51


State 40

   33 stmt: type • ID SEMICOLON

    ID  shift, and go to state 52


State 41

   34 stmt: l_exp • ASSIGN exp SEMICOLON

    ASSIGN  shift, and go to state 53


State 42

   27 stmt: FOR_LOOP • OP ID ASSIGN exp SEMICOLON exp SEMICOLON stmt CP stmt

    OP  shift, and go to state 54


State 43

   36 stmt_seq: stmt • stmt_seq

    BOOL    shift, and go to state 3
    PRINTF  shift, and go to state 34
    IF      shift, and go to state 35
    FOR     shift, and go to state 36
    RETURN  shift, and go to state 37
    INT     shift, and go to state 6
    ID      shift, and go to state 38
    STRING  shift, and go to state 8
    OB      shift, and go to state 39

    $default  reduce using rule 35 (stmt_seq)

    type      go to state 40
    l_exp     go to state 41
    FOR_LOOP  go to state 42
    stmt      go to state 43
    stmt_seq  go to state 55


State 44

   38 proc: return_type Name OP declaration CP OB stmt_seq • CB

    CB  shift, and go to state 56


State 45

   30 stmt: PRINTF OP • STRING CP SEMICOLON

    STRING  shift, and go to state 57


State 46

   28 stmt: IF OP • exp CP intern_scope_then stmt
   29     | IF OP • exp CP intern_scope_then stmt intern_scope_else stmt

    NUMBER  shift, and go to state 47

    $default  reduce using rule 10 (exp)

    exp          go to state 58
    int_literal  go to state 49


State 47

   12 int_literal: NUMBER •

    $default  reduce using rule 12 (int_literal)


State 48

   31 stmt: RETURN exp • SEMICOLON

    SEMICOLON  shift, and go to state 59


State 49

   11 exp: int_literal •

    $default  reduce using rule 11 (exp)


State 50

   23 l_exp: ID DOT • l_exp

    ID  shift, and go to state 60

    l_exp  go to state 61


State 51

   32 stmt: OB stmt_seq • CB

    CB  shift, and go to state 62


State 52

   33 stmt: type ID • SEMICOLON

    SEMICOLON  shift, and go to state 63


State 53

   34 stmt: l_exp ASSIGN • exp SEMICOLON

    NUMBER  shift, and go to state 47

    $default  reduce using rule 10 (exp)

    exp          go to state 64
    int_literal  go to state 49


State 54

   27 stmt: FOR_LOOP OP • ID ASSIGN exp SEMICOLON exp SEMICOLON stmt CP stmt

    ID  shift, and go to state 65


State 55

   36 stmt_seq: stmt stmt_seq •

    $default  reduce using rule 36 (stmt_seq)


State 56

   38 proc: return_type Name OP declaration CP OB stmt_seq CB •

    $default  reduce using rule 38 (proc)


State 57

   30 stmt: PRINTF OP STRING • CP SEMICOLON

    CP  shift, and go to state 66


State 58

   28 stmt: IF OP exp • CP intern_scope_then stmt
   29     | IF OP exp • CP intern_scope_then stmt intern_scope_else stmt

    CP  shift, and go to state 67


State 59

   31 stmt: RETURN exp SEMICOLON •

    $default  reduce using rule 31 (stmt)


State 60

   22 l_exp: ID •
   23      | ID • DOT l_exp

    DOT  shift, and go to state 50

    $default  reduce using rule 22 (l_exp)


State 61

   23 l_exp: ID DOT l_exp •

    $default  reduce using rule 23 (l_exp)


State 62

   32 stmt: OB stmt_seq CB •

    $default  reduce using rule 32 (stmt)


State 63

   33 stmt: type ID SEMICOLON •

    $default  reduce using rule 33 (stmt)


State 64

   34 stmt: l_exp ASSIGN exp • SEMICOLON

    SEMICOLON  shift, and go to state 68


State 65

   27 stmt: FOR_LOOP OP ID • ASSIGN exp SEMICOLON exp SEMICOLON stmt CP stmt

    ASSIGN  shift, and go to state 69


State 66

   30 stmt: PRINTF OP STRING CP • SEMICOLON

    SEMICOLON  shift, and go to state 70


State 67

   28 stmt: IF OP exp CP • intern_scope_then stmt
   29     | IF OP exp CP • intern_scope_then stmt intern_scope_else stmt

    THEN  shift, and go to state 71

    intern_scope_then  go to state 72


State 68

   34 stmt: l_exp ASSIGN exp SEMICOLON •

    $default  reduce using rule 34 (stmt)


State 69

   27 stmt: FOR_LOOP OP ID ASSIGN • exp SEMICOLON exp SEMICOLON stmt CP stmt

    NUMBER  shift, and go to state 47

    $default  reduce using rule 10 (exp)

    exp          go to state 73
    int_literal  go to state 49


State 70

   30 stmt: PRINTF OP STRING CP SEMICOLON •

    $default  reduce using rule 30 (stmt)


State 71

   24 intern_scope_then: THEN •

    $default  reduce using rule 24 (intern_scope_then)


State 72

   28 stmt: IF OP exp CP intern_scope_then • stmt
   29     | IF OP exp CP intern_scope_then • stmt intern_scope_else stmt

    BOOL    shift, and go to state 3
    PRINTF  shift, and go to state 34
    IF      shift, and go to state 35
    FOR     shift, and go to state 36
    RETURN  shift, and go to state 37
    INT     shift, and go to state 6
    ID      shift, and go to state 38
    STRING  shift, and go to state 8
    OB      shift, and go to state 39

    type      go to state 40
    l_exp     go to state 41
    FOR_LOOP  go to state 42
    stmt      go to state 74


State 73

   27 stmt: FOR_LOOP OP ID ASSIGN exp • SEMICOLON exp SEMICOLON stmt CP stmt

    SEMICOLON  shift, and go to state 75


State 74

   28 stmt: IF OP exp CP intern_scope_then stmt •
   29     | IF OP exp CP intern_scope_then stmt • intern_scope_else stmt

    ELSE  shift, and go to state 76

    ELSE      [reduce using rule 28 (stmt)]
    $default  reduce using rule 28 (stmt)

    intern_scope_else  go to state 77


State 75

   27 stmt: FOR_LOOP OP ID ASSIGN exp SEMICOLON • exp SEMICOLON stmt CP stmt

    NUMBER  shift, and go to state 47

    $default  reduce using rule 10 (exp)

    exp          go to state 78
    int_literal  go to state 49


State 76

   25 intern_scope_else: ELSE •

    $default  reduce using rule 25 (intern_scope_else)


State 77

   29 stmt: IF OP exp CP intern_scope_then stmt intern_scope_else • stmt

    BOOL    shift, and go to state 3
    PRINTF  shift, and go to state 34
    IF      shift, and go to state 35
    FOR     shift, and go to state 36
    RETURN  shift, and go to state 37
    INT     shift, and go to state 6
    ID      shift, and go to state 38
    STRING  shift, and go to state 8
    OB      shift, and go to state 39

    type      go to state 40
    l_exp     go to state 41
    FOR_LOOP  go to state 42
    stmt      go to state 79


State 78

   27 stmt: FOR_LOOP OP ID ASSIGN exp SEMICOLON exp • SEMICOLON stmt CP stmt

    SEMICOLON  shift, and go to state 80


State 79

   29 stmt: IF OP exp CP intern_scope_then stmt intern_scope_else stmt •

    $default  reduce using rule 29 (stmt)


State 80

   27 stmt: FOR_LOOP OP ID ASSIGN exp SEMICOLON exp SEMICOLON • stmt CP stmt

    BOOL    shift, and go to state 3
    PRINTF  shift, and go to state 34
    IF      shift, and go to state 35
    FOR     shift, and go to state 36
    RETURN  shift, and go to state 37
    INT     shift, and go to state 6
    ID      shift, and go to state 38
    STRING  shift, and go to state 8
    OB      shift, and go to state 39

    type      go to state 40
    l_exp     go to state 41
    FOR_LOOP  go to state 42
    stmt      go to state 81


State 81

   27 stmt: FOR_LOOP OP ID ASSIGN exp SEMICOLON exp SEMICOLON stmt • CP stmt

    CP  shift, and go to state 82


State 82

   27 stmt: FOR_LOOP OP ID ASSIGN exp SEMICOLON exp SEMICOLON stmt CP • stmt

    BOOL    shift, and go to state 3
    PRINTF  shift, and go to state 34
    IF      shift, and go to state 35
    FOR     shift, and go to state 36
    RETURN  shift, and go to state 37
    INT     shift, and go to state 6
    ID      shift, and go to state 38
    STRING  shift, and go to state 8
    OB      shift, and go to state 39

    type      go to state 40
    l_exp     go to state 41
    FOR_LOOP  go to state 42
    stmt      go to state 83


State 83

   27 stmt: FOR_LOOP OP ID ASSIGN exp SEMICOLON exp SEMICOLON stmt CP stmt •

    $default  reduce using rule 27 (stmt)