日本語
Sign in
AI tools
トップQs
タイムライン
チャット
Loading AI tools
すべて
記事
辞書
引用
地図
hybrid automata
ウィキペディアから
Found in articles
形式的検証
と実際のシステムの性質は一致している。使用される数理モデルとしては、有限状態機械、ラベル付き遷移系、ペトリネット、timed
automata
、
hybrid
automata
、プロセス計算、プログラミング言語の形式意味論(操作的意味論、表示的意味論、公理的意味論)、ホーア論理などがある[要出典]。
ワンのタイル
^ Kari, Jarkko (1990), “Reversibility of 2D cellular
automata
is undecidable”, Cellular
automata
: theory and experiment (Los Alamos, NM, 1989), Physica
Yukihiro
September 2023. 2023年9月2日時点のオリジナルよりアーカイブ。2023年9月2日閲覧。 ^ "Petit Brabancon『
Automata
』京、yukihiro、ミヤらメンバー個々のセンスがさらに開花、漆黒の音に拍車をかけた新EP". Mikiki.
回帰型ニューラルネットワーク
H.H. Chen, G.Z. Sun, Y.C. Lee, "Learning and Extracting Finite State
Automata
with Second-Order Recurrent Neural Networks", Neural Computation, 4(3)
Tactics (漫画)
ばれる)袴を見ると追っていってしまう。最近は袴より招き猫に興味をそそられている様子。英国から追いかけて来るほどロザリーに執着しており、彼女を「
automata
」などと呼んでいた。頼光と協力関係にあるが、自分では「どちらの味方でもない」と言っており、性格も頼光に負けず劣らずサディスティックで腹黒い。源