真鵺道では基本的に次の2つの置き換えの規則
・ [A/B] : A を B で置き換える このバリエーションとして
1. [A/] : A を消す(A を空文字で置き換える．)
2. [/A] : A を挿入する(空文字を A で置き換える．)
・[A|B|C] CBA の順に並べ換える このバリエーションとして
1. [A||C] A と C を交換する
真鵺道では基本的に次の2つの置き換えの規則
・ [A/B] : A を B で置き換える このバリエーションとして
1. [A/] : A を消す(A を空文字で置き換える．)
2. [/A] : A を挿入する(空文字を A で置き換える．)
・[A|B|C] CBA の順に並べ換える このバリエーションとして
1. [A||C] A と C を交換する