e/Rabin automaton

Information
has gloss	eng: :Aside from the definition given below, a Rabin automaton may also refer to a type of probabilistic automaton.
lexicalization	eng: Rabin automaton
instance of	e/Computational model

Meaning
German
has gloss	deu: Der Rabin-Automat ist eine spezielle Form des ω-Automaten.
lexicalization	deu: Rabin-Automat
Japanese
has gloss	jpn: ラビンオートマトン（Rabin Automaton）は、無限長の文字列を扱う有限オートマトンの一種。その形式は \mathcalA} = (Q,~\Sigma,~q_0,~\delta,~\Omega) としたとき、Q,~q_0 および \Sigma はと同様に定義される。\delta: Q \times \Sigma \rightarrow Q は遷移関数であり、\Omega はペア (E_j,~F_j) の集合で、E_j, F_j \subset Q である。\rho \in Q^\omega である \mathcalA} の実行において、F_i からの一部の状態を無限回訪れる間に E_i からの全状態を有限回訪れるようなインデックス i があるとき、\mathcalA} は入力単語 \alpha を受容する。
lexicalization	jpn: ラビンオートマトン