計算属性とは？ わかりやすく解説

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2014/01/26 16:05 UTC 版)

「文脈依存言語」の記事における「計算属性」の解説

計算性という観点では、文脈依存言語は線形拘束オートマトン（線形拘束された非決定性チューリングマシン）と等価である。これは、テープ長が kn セルに制限された非決定性チューリングマシンである。ここで n は入力の長さ、k はそのマシンに対応した定数である（つまりテープ長は入力の長さに比例する）。要するに、そのようなマシンで判定できる形式言語は文脈依存言語であり、文脈依存言語はそのようなマシンで判定できる。 このクラスの言語の集合は非決定性チューリングマシンの線形空間に受容されるのでNLIN-SPACE（Non-deterministic Linear Space）として知られている。同様に決定性チューリングマシンに受容される言語については LIN-SPACE と呼ぶ。LIN-SPACE は NLIN-SPACE の部分集合であることは明らかである。LIN-SPACE = NLIN-SPACE であるかどうかは不明であるが、一般に等価ではないと考えられている。

※この「計算属性」の解説は、「文脈依存言語」の解説の一部です。
「計算属性」を含む「文脈依存言語」の記事については、「文脈依存言語」の概要を参照ください。

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/01/06 05:50 UTC 版)

「文脈依存文法」の記事における「計算属性」の解説

ある文字列 s が文脈依存文法 G で記述される言語に属するか否かという決定問題は、PSPACE完全である。実際、文脈依存文法の中にはその文法認識問題がPSPACE完全なものもある。

※この「計算属性」の解説は、「文脈依存文法」の解説の一部です。
「計算属性」を含む「文脈依存文法」の記事については、「文脈依存文法」の概要を参照ください。