En dator vet inte i sig "om en instruktion är ett program. Den känner bara till sekvenser av instruktioner (kod) på ett språk som den förstår (som maskinkod eller monteringsspråk). Huruvida den sekvensen utgör ett * program * är en fråga om tolkning och sammanhang.
Så här fungerar processen:
1. Input: Datorn får en sekvens av tecken (dina typade instruktioner). Detta kan vara på ett högnivåspråk (som Python, Java, C ++) eller ett lågnivåspråk (montering).
2. parsing/sammanställning/tolkning: Det avgörande steget. Ett program (kompilator, tolk eller monterare) analyserar ingången. Det förstår inte direkt innebörden i människoläsbar mening, men det kontrollerar för:
* Syntax: Anpassar karaktärsekvensen med de grammatiska reglerna (syntaxen) för programmeringsspråket? Om inte, rapporterar den syntaxfel.
* semantik: Även om syntaxen är korrekt, kontrollerar programmet om instruktionerna har logisk mening. Detta händer ofta under sammanställning eller vid körning. Ett semantiskt felaktigt program kanske inte kraschar, men det kan ge oväntade eller felaktiga resultat. Exempel:Dela med noll.
3. Översättning: Om ingången passerar syntax och semantiska kontroller (eller åtminstone den första syntaxkontrollen) översätter programmet det till maskinkod - språket som datorns CPU direkt förstår (binära instruktioner).
4. exekvering: CPU kör maskinkodinstruktionerna i följd (såvida det inte finns hopp, slingor eller samtal till andra funktioner). Datorn bestämmer inte om det är ett "program"; Det kör helt enkelt instruktionerna.
5. Utgång/resultat: Exekveringen producerar viss utgång (t.ex. text, grafik, en förändring i filinnehållet). * Betydelsen * och om denna utgång utgör ett framgångsrikt utförande av ett "program" bedöms av den mänskliga användaren baserat på deras förväntningar och programmets avsedda syfte.
Kort sagt, en dator följer bara instruktioner. Huruvida en samling instruktioner är ett program beror på:
* om det är syntaktiskt korrekt Inom ramen för ett programmeringsspråk.
* Oavsett om det är semantiskt meningsfullt (Gör det vad det avser att göra?).
* om det uppnår ett specifikt mål Som tänkt av programmeraren. Detta är den mänskliga bedömningsaspekten.
En enda instruktion i sig är inte ett program. Ett program är en komplett uppsättning instruktioner som, när det genomförs, utförs en uppgift. Datorn kör bara instruktioner; Det är upp till programmeraren att organisera dem i ett program.
