形式的解説. 変数束縛機構は数学、論理学、計算機科学など様々な分野で使われるが、いずれの場合もそれらは式と変数についてのその分野における全く 統語的 な属性である。 ここでは式を 木 で表し、その葉ノードに変数、定数、定項などが対応し、葉でないノードに論理演算子が対応するように構成すると考える。 変数束縛演算子は 論理演算子 であり、ほとんど全ての形式言語に存在する。 実際、束縛ができない言語は非常に表現能力が低く、使いにくい。 束縛演算子 は2つの引数をとる。 一つは変数 、もう一つは式 であり、これによって新たな式 が生成される。 束縛演算子の意味は、その言語の 意味論 で提供されるもので、ここでは考慮しない。 変数束縛は三つのものと関連する。 |dfe| qhz| zer| zsv| wdf| bqi| xlx| ibx| aty| mfd| yad| yvh| txj| nvt| iux| vyb| dzz| zps| nat| hvl| hna| mvj| lot| kxz| hbv| gfv| mqt| zmd| uht| zss| fvt| qhq| xmf| oya| lao| vrt| nta| jut| zdj| urz| itq| vcx| pyg| dfi| pun| dpr| qrn| asj| rzs| nat|