翻訳と辞書
Words near each other
・ ラビル・イシャノフ
・ ラビル・イスヤノフ
・ ラビル・イズヤノフ
・ ラビワン
・ ラビワン なんば
・ ラビワンなんば
・ ラビン
・ ラビン-カープ文字列探索アルゴリズム
・ ラビン-カープ文字列検索アルゴリズム
・ ラビン-ミラー素数判定法
ラビンオートマトン
・ ラビング・ユー
・ ラビンドラ プラブハット
・ ラビンドラナート・タゴール
・ ラビン・ユー
・ ラビン暗号
・ ラビ・アキバ
・ ラビ・アブ・カリル
・ ラビ・アブ=カリル
・ ラビ・シャンカル


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

ラビンオートマトン : ミニ英和和英辞書
ラビンオートマトン[まとん]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [ちょうおん]
 (n) long vowel mark (usually only used in katakana)
マトン : [まとん]
 (n) mutton, (n) mutton

ラビンオートマトン : ウィキペディア日本語版
ラビンオートマトン[まとん]
ラビンオートマトン(Rabin Automaton)は、無限長の文字列を扱う有限オートマトンの一種。その形式は \mathcal = (Q,~\Sigma,~q_0,~\delta,~\Omega) としたとき、Q,~q_0 および \SigmaBüchi automaton と同様に定義される。\delta: Q \times \Sigma \rightarrow Q は遷移関数であり、\Omega はペア (E_j,~F_j) の集合で、E_j, F_j \subset Q である。\rho \in Q^\omega である \mathcal の実行において、F_i からの一部の状態を無限回訪れる間に E_i からの全状態を有限回訪れるようなインデックス i があるとき、\mathcal は入力単語 \alpha を受容する。


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「ラビンオートマトン」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.