A restricted CFG where every Production is either the empty string or a string of terminals followed by a variable.

Definition

A CFG is right linear if:

  • Every production is of the form:
    • ,

Types