カテゴリー: post

第 1 章

第 2 章

A ::= B | ~
B ::= C | ~
C ::= (A) | ~