automata

0熱

1答えて

私はこの宿題に関する質問をしています。 Which pair of regular expressions are equivalent? a) (ab)* and a*b* b) r(rr)* and (rr)*r c) r+ and r*r d) (b) and (c) 回答は(d)と言われています。私は(b)と(c)も答えが必要だと思います。誰かが私のためにこれを明確にすることは

0熱

1答えて

文脈自由言語で1または2の右側変数

私は2つの質問をしており、私はそれについてもいくつか考えています。 1）各ルールの右側に1つの末端または変数を持つX-Context Free grammer（X-CFG）。 2）すべての規則の右側に2末端または可変のY-CFG。質問： a）は、彼らがすべての非正規言語を生成していますか？証明する。 b）すべての通常の言語を生成していますか？証明する。回答： A）私は、彼らは任意の非正規言語を

1熱

1答えて

3つの状態を持つプロセスを2つの状態にマッピングするにはどうすればよいですか？

私は、次のようなシーケンスでHigh、Medium、Lowの3つの状態でデバイスを動作させています。今 LLLLLLMMMHHHHHHHHHHHHHHHMMMLLLLLLL 、私は、入力電力を制御することができるように、HighとLowの2つの状態のシーケンスにこれらの三つの状態をマップします。 LLLLLLHHHHHHHHHHHHHHHHHHHHHLLLLLLLL 私はそれをどのように行うのです

-1熱

1答えて

私はなぜArrayIndexOutOfBoundsException 2エラーが発生するのかわかりません

私は1Dでセルオートマトンを実行するプログラムを作ろうとしています。そのためには、私は1つの行から3つの変数を読み込む必要があります。変数「L」の1つは、「currentGeneration」の配列長を決定します。しかし、私はArrayIndexOut ...エラーを取得します。私は、これは私の配列の次元に関係していると思いますし、変数L. は public class Cellulitissss

-3熱

1答えて

オートマトンの2 pdf（2スタック）の中央の文字を見つける

中間の文字としてAを持つすべての単語の中間のAを受け入れる2PDAを描画します。また、その論理を説明してください。

0熱

1答えて

非決定論的有限オートマトンを描こうとすると

私は有限オートマトンの話題を理解するのに苦労しています。私はシンプルなものを描くことができるが、私はに尋ねる練習問題があります。デザイン非決定性有限オートマトンΣ= {0,1}を受け入れます。非決定性有限オートマトンは、最大で2つのゼロと少なくとも2つのものを持つすべての文字列を決定できるはずです。どうすればよいですか？ここで

0熱

1答えて

チューリングマシン：2つの数値のモッズを取る？

mod（3,7）= 3とmod（7,3）= 1のように、2つの非負の数値を入力してmod演算を実行するチューリングマシンを設計します。明らかに、TMの入力と出力に関する仮定と形式を指定します。

2熱

1答えて

ブール式が真または偽であるかどうかを確認するDFAを設計する

私は本当に助けが必要です。私はDFAを構築する100の例のようにしました。どんな助けでも大歓迎です。私はいくつかのランダムなブール関数を持っています： f（a、b、c、d）=（a∨c）∧（（a∧b）∨（c↔d））と私は真であるすべての文字列を受け入れるDFA（バイナリでは3,7,8,11,12,13,14,15）、それ以外はすべて拒否されます。だから基本的には、これらの整数をバイナリ形式に変換し

0熱

1答えて

言語から文脈自由文法への移動

与えられた言語K = {e^h f^i | 2h> i> h}私は文脈自由文法を生成する必要があります私が思いついた生産ルールのいくつかは次のとおりです：S→eeTfffとT→eTff | ε n = m + 1の場合にのみ機能しますが、2h> i> hのすべての組み合わせに対してルールを生成する方法はわかりません。

1熱

1答えて

オートマチックチューリング

誰かが段階的に質問を説明できますか？ Σは有限集合であり、L1、L2及びL3は、以下の特性満足Σ^ *の許容されるサブセットチューリングされていることを仮定する： L1∪L2∪L3 =Σ^ * と、 L1∩L2 = L2∩L3 = L3∩L1 =∅である。 L1、L2、L3はすべて再帰的でなければならないことを示します。