Translation examples
Laskennan teoriassa abstrakteja koneita käytetään usein ajatuksellisina kokeina arvioimaan laskettavuutta tai analysoimaan algortimien kompleksisuutta (Kompleksisuusteoria).
In the theory of computation, abstract machines are often used in thought experiments regarding computability or to analyze the complexity of algorithms (see computational complexity
Keskeisessä artikkelissaan "On Computable Numbers, with an Application to the Entscheidungsproblem" (jätetty 28. toukokuuta 1936) Turing muotoili uudelleen Kurt Gödelin vuonna 1931 saamat matemaattista todistusta ja laskettavuutta käsittelevät tulokset.
In this case, the work "On Computable Numbers, with an Application to the Entscheidungsproblem" from 1936, which Scholz had requested, and a postcard from Turing.
How many English words do you know?
Test your English vocabulary size, and measure how many words you know.
Online Test