// greibach.pda from cykp

start A1

terminal a ;
terminal b ;

variable A1 ;
variable G_A1 ;
variable A2 ;
variable G_A2 ;
variable A3 ;
variable G_A3 ;

A1 ->  a  A1  A3 ;
A1 ->  a  G_A3  A1  A3 ;
A1 ->  b  A3 ;
A1 ->  b  A3  A2  A1  A3 ;
A1 ->  b  A3  A2  G_A3  A1  A3 ;
A2 ->  a  A1 ;
A2 ->  a  G_A3  A1 ;
A2 ->  b ;
A2 ->  b  A3  A2  A1 ;
A2 ->  b  A3  A2  G_A3  A1 ;
A3 ->  a ;
A3 ->  a  G_A3 ;
A3 ->  b  A3  A2  G_A3 ;
A3 ->  b  A3  A2 ;
G_A3 ->  a  A1  A3  A3  A2  G_A3 ;
G_A3 ->  a  A1  A3  A3  A2 ;
G_A3 ->  a  G_A3  A1  A3  A3  A2  G_A3 ;
G_A3 ->  a  G_A3  A1  A3  A3  A2 ;
G_A3 ->  b  A3  A2  A1  A3  A3  A2  G_A3 ;
G_A3 ->  b  A3  A2  A1  A3  A3  A2 ;
G_A3 ->  b  A3  A2  G_A3  A1  A3  A3  A2  G_A3 ;
G_A3 ->  b  A3  A2  G_A3  A1  A3  A3  A2 ;
G_A3 ->  b  A3  A3  A2  G_A3 ;
G_A3 ->  b  A3  A3  A2 ;
enddef