一般にA*は、
X =
X = A | X
A?は、
X =
X = A
と定義したXで置き換えられる。