"
""Algoritmi"" sellaisten ohjelmien luokkana, joilla on sama käyttäytyminen, on epämääräinen termi, kunnes määritellään ""sama käyttäytyminen"" tarkasti, ja sille on olemassa monia määritelmiä.  Tämä vastaavuussuhde on määriteltävä, ennen kuin voidaan esittää väitteitä algoritmien luokista.   "