Fra denne definisjonen kan følgende egenskaper avledes: Oppskriften må kunne beskrives med en endelig tekst. Hvert skritt i oppskriften må kunne utføres. På ethvert tidspunkt kan kun et endelig stort minne benyttes. Oppskriften kan bare bruke et endelig antall skritt.