P′′
R {\textstyle R} と λ {\textstyle \lambda } は P′′ のワードである。
もしも q 1 {\textstyle q_{1}} と q 2 {\textstyle q_{2}} が P′′ のワードならば、それらを繋げた q 1 q 2 {\textstyle q_{1}q_{2}} も P′′ のワードである。
もしも q {\textstyle q} が P′′のワードならば、 ( q ) {\textstyle (q)} も P′′ のワードである。
以上の3つの法則から得られるワードだけが P′′ のワードである。