翻訳と辞書 Words near each other ・ 線形多項式 ・ 線形帰還シフトレジスタ ・ 線形式 ・ 線形従属 ・ 線形循環数列 ・ 線形微分方程式 ・ 線形応答 ・ 線形応答理論 ・ 線形応答関係 ・ 線形性 ・ 線形拘束オートマトン ・ 線形探索 ・ 線形探索法 ・ 線形攻撃法 ・ 線形方程式 ・ 線形方程式系 ・ 線形時不変システム ・ 線形時不変系 ・ 線形時相論理 ・ 線形時間 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 線形拘束オートマトン ： ウィキペディア日本語版 線形拘束オートマトン[せんけいこうそくおーとまとん] 線形拘束オートマトン（せんけいこうそくオートマトン、''Linear Bounded Automaton''）は、制限されたチューリングマシンである。LBA と略記される。有限種類の文字を保持できるテープとそのテープの読み書きができるヘッドを持ち、有限数の状態を持つ。チューリングマシンと異なるのは LBA のテープ長が有限であることで、その長さはテープ上の初期入力文字列の長さに比例する（つまり一次関数である）。この制限により LBA はある意味ではチューリングマシンよりも実在のコンピュータの正確なモデルと言える。 線形拘束オートマトンは文脈依存言語を受容する。そのクラスの言語の文法で制限されていることは、ある文字列から短い別の文字列へのマッピングを持たないことである。したがって、文脈依存言語によって生成される文字列は、それ自身より長い文型を内包することができない。線形拘束オートマトンと文脈依存言語は一対一の対応関係にあるので、本来の文字列が書かれたテープの長さがあれば、そのオートマトンに理解できる文字列には必要十分である。 == 外部リンク == * Linear Bounded Automata by Forbes D. Lewis * Linear-Bounded Automata , part of Theory of Computation syllabus, by David Matuszek * 線形拘束オートマトンを用いた組込みソフトウェアの仕様記述に関する考察 、二口祐介（他）、南山大学 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「線形拘束オートマトン」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.