検索結果

…pt, 1989-2001</ref>とは、[[ラムダ計算]]に対して[[評価戦略#値渡し|値渡し評価戦略]]の[[操作的意味論]]を与えるための[[抽象機械]]の1つである。CEKとは、機械の状態を構成する3つの要素である “Control string”, “Environment”, “Continua [[Category:抽象機械]] …

…遷移系'''（じょうたいせんいけい、State Transition System）とは、[[理論計算機科学]]での[[計算]]の研究に使用される[[抽象機械]]の一種。状態遷移系は状態群と状態間の[[遷移]]から構成される。 …

…hort|Turing machine}}) は、[[アラン・チューリング]]が「[[計算可能性理論|計算可能性]]」に関する議論のために提示した[[抽象機械]]である<ref>{{Cite Kotobank |word=チューリングマシン |encyclopedia=ASCII.jpデジタル用語辞典 |ac [[Category:抽象機械]] …

…ang-en-short|pushdown automaton, PDA}}）は、[[オートマトン]]の一種であり、[[文脈自由言語]]を認識する[[抽象機械]]である。 …

…モデルは非常に単純な[[チューリング完全]]な言語であるため、[[アルゴリズム]]の数学理論においては重要である。また[[関数型言語]]を実行する[[抽象機械]]のモデルとして使っている例もある<ref>D. A. Turner ''A new implementation technique for app …

シークエント計算は左導入規則、右導入規則、ならびに[[カット除去定理|除去可能な]]カット規則により特徴づけられる。シークエント計算の構造はある種の[[抽象機械]]の構造に似ている。非形式的な対応は次のようである： …