information
fortolker og objekt). I overensstemmelse hermed kan en datamaskine defineres som et fortolket automatisk formelt system; det formelle ligger i, at alle programmer kan beskrives rent logisk formelt. Det automatiske ligger i den maskinelle signalbehandling. Det fortolkede er det, som