dragon_expr.gram.html

E := E '+' T
   | T

T := T '*' F
   | F

F := '(' E ')'
   | 'id'

This Grammar has been taken from the Dragon book and is often used there in many examples.

dragon_ptr.gram.html

S := L '=' R
   | R

L := '*' R
   | 'id'

R := L

This is a grammar from the Dragon book, it resembles the C pointer dereferencing and assignment syntax. It shows well that it is not a SLR(1) grammar but a LALR(1) grammar.

ebnf.gram.html

Grammatik := Regeln

Regeln := Regeln Regel
        | 

Regel := 'Bezeichner' '::=' Ausdruck '.'

Ausdruck := Elemente
          | Elemente '|' Ausdruck

Elemente := Element Elemente
          | 

Element := Einheit '*'
         | Einheit '+'
         | '[' Ausdruck ']'

Einheit := Atom
         | '(' Ausdruck ')'

Atom := 'Bezeichner'
      | 'Literal'

This is a grammar of the syntax of EBNF. The non terminals are in German.

lalr_conflict.gram.html

S := A 'a'
   | 'b' A 'c'
   | B 'c'
   | 'b' B 'a'

A := 'd'

B := 'd'

suc_ub4_1_1.gram.html

S := S S '+'
   | S S '*'
   | 'a'

suc_ub4_1_3.gram.html

S := S A
   | A

A := 'a'

suc_ub4_1_4.gram.html

S := A S
   | 'b'

A := S A
   | 'a'

suc_ub4_1_5_1.gram.html

S := S '(' S ')' S
   | 

suc_ub4_1_5_2.gram.html

S := S '+' S
   | S S
   | '(' S ')'
   | S '*'
   | 'a'

suc_ub4_1_5_3.gram.html

bexpr := bexpr 'or' bterm
       | bterm

bterm := bterm 'and' bfactor
       | bfactor

bfactor := 'not' bfactor
         | '(' bexpr ')'
         | 'true'
         | 'false'

suc_ub5_1_1.gram.html

A := B
   | B 'x'

B := 'y'