Up | English 関数の記号表現  

    つぎの関数を考える：
    入力ｘに対し，２ｘを出力する


    この関数を「入出力マシン」として表現すれば，つぎのようになる：



    この図に倣って，式 (記号列) 表現がつぎのようつくられる：