2017-09-26 8 views
1

A、B、Cを流行させます。方程式X = AX + BX + Cを考えてみましょう。A、B、Cを流行させる。方程式X = AX + BX + Cを考えてみましょう。

この質問を解決するお手伝いをしてもらえますか? fadは通常の言語です

+0

クイック質問、流行は何ですか? – user1700890

+0

Fadは有限オートマトンで定義可能な言語です。 – AmrutaMV

+0

'+'演算子は共用体または連結を示していますか?私は組合を推測している。 Xは '(A | B)* C'のように定義できます。 – Welbog

答えて

1

並置(AX)は連結を意味し、+は共用を意味します。次に、それぞれ空の文字列と空の言語のみを含むFAD言語であるA = B = {e}とC = {}とします。次に、Xを任意の非FAD言語とする。明らかに、方程式X = AX + BX + Cは、AX = X、BX = X、X + X + {} = Xのため真である。

{e}と{}のFA練習問題として残しておきます)。

並置と結合が何かを意味する場合は、答えが変わることがあります。例えば、それはおそらく+結合を意味するが、私は並置を作るべきかどうか分からない(組合?交差点?)。

関連する問題