定義

1.

おやくそく。数学では集合とか空間とかヘリクツで定義します。

文法や文字列を再帰的に定義したものをバッカス記法といいます。