げんご‐モデル【言語モデル】
言語モデル
言語モデル
言語モデル
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/17 14:22 UTC 版)
「Lucid (プログラミング言語)」の記事における「言語モデル」の解説
Lucid はデータ処理の際に要求駆動モデルを採用している。Lucid の文は、プロセッサのネットワークを定義する方程式と、その間をデータが流れる通信線として考える事が出来る。変数は無限に続く値のストリームであり、関数はフィルタか変換器である。反復は 'current' 変数と、'fby' 変数によってシミュレートされストリーム合成を行う事が出来る。 Lucid は無限に続くデータの列であるヒストリーの代数を基にしている。利用時には、ヒストリーは変化し続ける変数の値の記録と考える事が出来、first や next 等のヒストリー操作は名前から連想するとおり動作する。Lucid は当初、動作検証が非常にシンプルであるような、非常に厳格で数学的に純粋な単一代入言語として考えられていた。しかしながら、データフローの解釈は非常に重要であり、Lucid の発展に大きく影響を及ぼした。
※この「言語モデル」の解説は、「Lucid (プログラミング言語)」の解説の一部です。
「言語モデル」を含む「Lucid (プログラミング言語)」の記事については、「Lucid (プログラミング言語)」の概要を参照ください。
- 言語モデルのページへのリンク