Ja, det ble vist av Böhm og Jacopini i deres banebrytende papir fra 1966 "Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules".
De beviste at alle dataprogrammer kan skrives med bare tre strukturer:
1) Sekvens
2) Utvalg (hvis-da-ellers)
3) Iterasjon (mens loop)
Dette betyr at ethvert program, uansett hvor komplekst det er, kan konstrueres ved å bruke bare disse tre grunnleggende byggeklossene.
For eksempel, her er hvordan du kan skrive et program for å finne det største tallet i en liste med tall ved å bruke bare disse tre strukturene:
``` python
tall =[1, 2, 3, 4, 5]
største =tall[0]
for tall i tall:
hvis nummer> størst:
størst =antall
print (størst)
```
Dette programmet initialiserer først den største variabelen til det første tallet i listen. Deretter itererer den over resten av tallene i listen, og sjekker hvert enkelt for å se om det er større enn det nåværende største tallet. Hvis et større tall blir funnet, lagres det i den største variabelen. Til slutt skriver programmet ut det største tallet.