right-linear grammar