"p" に含まれる各規則は、"a" ← "e" という形式であり、"a" は非終端記号、"e" は、次のように構築される記号およびメタ記号の列である。