問題タブ [automaton]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
automaton - 理論言語 - 正規表現をオートマトンに変換する最良の方法は何ですか?
正規表現をオートマトンに変換する方法について質問がありますか? Gluskov アルゴリズムについて聞いたことがありますが、適切なドキュメントが見つかりませんでした。
例: 次のような正規表現が(a*|b*) U (a*a|c*)*あり、単純なアルゴリズムでオートマトンに変換したいと考えています。
私を助けてください
theory - NFA から DFA への変換 = 決定論的?
私は決定論と非決定論の意味に少し苦労しています。オートマトンに関しては違いがわかりますが、次の答えを見つけることができないようです: NFA から DFA への変換は決定論的ですか?
同じ正規言語に対して複数の DFA を構築できる場合、NFA から DFA への変換の結果は一意ではないということですか? したがって、非決定論的アルゴリズムですか？
皆さんが提供できる情報があれば幸いです。
前もって感謝します！
regular-language - pref(L) が規則的である場合、それは L も規則的であることを意味しますか?
私は宿題のためにこの練習をしています：
言語 L があるとします。その言語
pref(L)(すべてLの単語を含むのすべての接頭辞L) は通常の言語であることがわかっています。Lこれは、言語も規則的であることを意味しますか?
の NFA を取り、pref(L)それを ( からの 2 つのイプシロン遷移を介してq0) 2 つの別個の NFA に分割Lしpref(L)\Lました。
私が実際に得たのは の NFA でL、これは正規であることを意味します。
これがその方法なのか、合法なのかはわかりません。別のリードをいただければ幸いです。
前もって感謝します、
ヤロン。
io - 有限状態マシンの一意の入力と出力を見つける方法
各状態に一意の入力/出力シーケンスがあるかどうかを調べるにはどうすればよいですか? 標準化された技術や方法はありますか? オンラインで何も見つからないようです。
助けてくれてありがとう！
automation - 文字列を受け入れない有限オートマトン
有限オートマトン over(0,1) が文字列を受け入れないのはどうしてですか? としか思えない
ここで、最終状態 F は空集合です。それは本当ですか？