Ja, det blev vist af Böhm og Jacopini i deres banebrydende papir fra 1966 "Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules".
De beviste, at alle computerprogrammer kun kan skrives ved hjælp af tre strukturer:
1) Sekvens
2) Valg (hvis-så-andet)
3) Iteration (mens loop)
Det betyder, at ethvert program, uanset hvor komplekst det er, kan konstrueres ved hjælp af blot disse tre grundlæggende byggeklodser.
For eksempel, her er, hvordan du kan skrive et program for at finde det største tal i en liste med tal kun ved at bruge disse tre strukturer:
``` python
tal =[1, 2, 3, 4, 5]
største =tal[0]
for tal i tal:
hvis nummer> størst:
største =antal
print (størst)
```
Dette program initialiserer først den største variabel til det første tal på listen. Derefter itererer den over resten af tallene på listen, og kontrollerer hver enkelt for at se, om den er større end det nuværende største tal. Hvis der findes et større tal, gemmes det i den største variabel. Til sidst udskriver programmet det største antal.
