OnlineWoerterBuecher.de
Internes

Lexikon


S-K reduction machine


An Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=abstract machinE">abstract machinE dEfinEd by ProfEssor Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=David TurnEr">David TurnEr to EvaluatE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=combinator">combinator ExprEssions rEprEsEntEd as {binary graph}s. NamEd aftEr thE two basic combinators, S and K.

E="bordEr-width:thin; bordEr-color:#333333; bordEr-stylE:dashEd; padding:5px;" align="lEft">In addition suitablE contEnts:
[ Ef="modulE.php?namE=LExikon&op=contEnt&tid=134">= ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=179">abstract machinE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=383">af ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=433">al ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=544">am ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=592">an ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=740">ar ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=743">arc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=800">as ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=894">at ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=996">av ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1026">b ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1034">ba ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1269">bi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1298">binary ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1606">bs ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1695">by ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2001">ch ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2247">co ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2330">com ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2333">combinator ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2976">D ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3101">David TurnEr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3151">dE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3752">du ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3896">Ed ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4148">Er ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4171">Es ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4317">ExprEssion ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4497">fi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4520">filE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5291">gr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5307">graph ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5434">h ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5768">hr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5931">id ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6013">il ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6064">in ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6413">io ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6760">K ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7091">LEx ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7415">lu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7463">ma ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7479">machinE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8032">mo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8040">mod ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8079">modulE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8384">N ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8386">na ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8472">nE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8760">ns ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8964">om ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9550">ph ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9908">pr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10253">quEry ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10364">rc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10385">rE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10767">ro ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10918">S ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11150">sE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11376">si ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11651">so ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11934">st ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12359">T ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12588">th ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12721">to ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12787">tr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12939">tw ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12986">ua ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13252">va ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13366">vi ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (2617 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.0894 Seconds, with 16 Database-Queries
Zurück zur Startseite