与えられたセットのパワーセットの生産ルールを書く方法

Question

私は小さなコマンド言語を書いています。言語にはいくつかの簡単なコマンドがあり、複雑なコマンドを作ることができます。たとえば、コマンドfry an egg、make a sandwich、make coffeeがある場合、新しいコマンドを作成することができます。

make a breakfast := fry an egg, make a sandwich, make coffee

はしかし、時には、私はmake a breakfastが設定されたコマンドの任意のサブセットすることが可能であるなど、朝食、時にはコーヒーやサンドイッチの両方のための唯一のコーヒーをしたい：{fry an egg, make a sandwich, make coffee}

このように私はのパワーセットを定義するルールが必要指定された一連の単純なコマンド。それは理にかなっていますか？それをしてもいいですか ？

Answer 1

（E）BNF文法表記を使用しているようです。あなたの質問は、文法規則でpowersetを取り込む方法に関するものです。 AFAIK（E）BNFは文脈自由文法を記述することしかできませんが、powersetは文脈依存のアルファベット{a}の言語{a^2^n}としてモデル化できます。つまり、（E）BNFを使用してパワーセットを記述することはできません。しかし、あなたができることは、特定のpowersetを列挙することです。例： S：=（a、{b、{c}} |（b、{c}）| c |イプシロン）; この言語は{a、b、c}アルファベットのパワーセットです。