有限オートマトンとの関係とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 有限オートマトンとの関係の意味・解説 

有限オートマトンとの関係

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/05 08:02 UTC 版)

正規数」の記事における「有限オートマトンとの関係」の解説

Agafonov (1968) は有限オートマトン正規列との関係を指摘した正規列からある正則言語によって得る部分列はまた正規列である。言い換えると、正規列有限オートマトン入力し受理状態のときのみ入力した文字そのまま出力することにすれば、そうして出力される部分列はまた正規である。 以下の二つ事実が示すように、正規列有限オートマトンとの間にはより深い関係がある。 有限状態ギャンブラー(finite-state gambler または finite-state martingale、以下 FSG)とは、有限アルファベット Σ 上の有限オートマトンの状態に応じて文字たち(Σ の各元)に金を賭けギャンブラーモデルのことである。例えばバイナリアルファベット Σ = { 0, 1 } 上の FSG は、現在の状態 q に対して定められ割合 q0 (0 ≤ q0 ≤ 1), q1 (= 1 - q0) に従いギャンブラー持ち金の q0 倍を 0 に賭け残りを 1 に賭ける。それから文字入力され、その文字賭けられた金の2倍(一般には |Σ| 倍)が次の賭け元手となる。入力され文字従い有限オートマトンの状態が移りギャンブラー賭け方が変わる。ある FSG d が無限列 S に対して成功するとは、有限元手から始めていつかは任意の目標額に到達すること、すなわち limsup n → ∞ d ( S ↾ n ) = ∞ {\displaystyle \limsup _{n\to \infty }d(S\upharpoonright n)=\infty } が成り立つことをいう。ここに、 d ( S ↾ n ) {\displaystyle d(S\upharpoonright n)} はギャンブラー d が S の最初の n 個の文字読み込んだときに持っている金額表しlimsup上極限意味する。 Schnorr, Stimm (1972) は、正規列に対して成功するFSG存在しないことを示しBourke, Hitchcock, Vinodchandran (2005) はその逆を示した。すなわち、 文字列正規であることと、その列に対して成功するFSG存在しないことは同値である ことが知られている。 有限状態圧縮機 (finite-state compressor) とは、有限オートマトンの状態に応じて文字列(空列もあり得る)を出力する機械モデルである。有限状態可逆圧縮機(information lossless finite-state compressor、以下 ILFSC)とは、出力データおよび最終状態から入力データ一意復元できる有限状態圧縮機のことである。言い換えると、アルファベット Σ 上の有限状態圧縮機 C の状態集合が Q であるとき、C が ILFSC であるとは、C に入力したデータ出力データ最終状態ペアに移す写像 f : Σ* → Σ* × Q が全単射であることを言う。ハフマン符号シャノン符号といった圧縮技術は ILFSC を用いて実装することができる。ある ILFSC C が無限列 S を圧縮するとは、 liminf n → ∞ C ( S ↾ n ) n < 1 {\displaystyle \liminf _{n\to \infty }{\frac {C(S\upharpoonright n)}{n}}<1} が成り立つことをいう。ここに、 C ( S ↾ n ) {\displaystyle C(S\upharpoonright n)} はC が S の最初の n 個の文字読み込んだときに出力した文字個数表しliminf下極限意味する。 Ziv, Lempel (1978) は 文字列が正規であることと、その列を「圧縮する」ILFSC が存在しないことは同値である ことを示した実際には彼らは次の事実示している。「ある文字列の ILFSC による最適な圧縮率は、その列のエントロピー率(entropy rateエントロピービット数に対する比)に等しい。」エントロピー率は、ある意味正規であることにどれだけ近いかを表す数値であり、正規である場合は丁度 1 になる(入力した文字そのまま出力する ILFSC では、圧縮率が 1 であることも注意しておく)。LZ 圧縮アルゴリズム漸近的に任意の ILFSC 以上の圧縮率を誇るため、任意の非正規列を圧縮することができる。 この二つ正規列特徴付け標語的にまとめると、正規であることは有限オートマトン制御できない程「ランダム」である、と言える同様にチューリングマシンに対してランダム」であるという概念考えることができる。理論的にチューリングマシン有限オートマトンよりも高性能であるため、この概念正規であるという概念よりも強い。

※この「有限オートマトンとの関係」の解説は、「正規数」の解説の一部です。
「有限オートマトンとの関係」を含む「正規数」の記事については、「正規数」の概要を参照ください。

ウィキペディア小見出し辞書の「有限オートマトンとの関係」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「有限オートマトンとの関係」の関連用語

1
8% |||||

有限オートマトンとの関係のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



有限オートマトンとの関係のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの正規数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS