問題タブ [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.
java - 競合することなく、よりスマートな方法でこれを行うにはどうすればよいですか?
このように、いくつかのエラーを返していますが、主な例は2文字の文字であると思われます. + ## + ## "。
automaton - UPPAAL でオートマトンをリセットするにはどうすればよいですか
UPPAAL モデル チェック ツールでいくつかのオートマトンを作成しましたが、それらの間にダイアログがあります。いずれかでエラーが発生すると、もう一方をリセットする必要があります。すべてのノードが開始ノードに行くようにリターン エッジを設定することはできません。これは、考えられるすべてのエラーに対してガードを設定できないためです。関数などでオートマトンをリセットする方法はありますか? エッジを通過せずに別のノードに移動できますか? ノードから最初のノードに直接、エッジを使用せずにジャンプすることを意味します。ありがとう！
java - Java を使用して Automaton DFA 実装が機能しない
私は現在、大学で DFA および NFA オートマトンと、Java コードを使用してそれらのいくつかを実装する方法を研究しています。
この演習で問題が発生しました: 4 つの異なる実験ターン (T1、T2、T3、および T4) があり、特定の文字列 (学生の大学バッジ番号と彼の名前、たとえば123321Johnson) は T2 または T3 に対応します。
私達はことを知っています：
- T1は「A」と「K」の間のバッジ番号と姓が奇数の人の番です
- T2は、「A」と「K」の間の偶数のバッジ番号と姓の番です
- T3 は、「L」と「Z」の間の奇数のバッジ番号と姓の番です。
- T4 は、「L」と「Z」の間の偶数のバッジ番号と姓の番です。
また、文字列が少なくとも 1 つの数字と少なくとも 1 つの文字で構成されている必要があることもわかっています。
たとえば、オートマトンは or を受け入れる"1232324Gac"必要がありますが、 orは受け入れ"1232323Lum"ません。"121234Lum""121233Gac"
私が書いたコードは次のとおりです。
明らかに、コードは機能していませんが、これは演習の一般的な目的を示すために重要です。
誰かが私を助けることができますか？