Ja, det visades av Böhm och Jacopini i deras framstående tidning från 1966 "Flödesdiagram, Turingmaskiner och språk med endast två bildningsregler".
De visade att alla datorprogram kan skrivas med bara tre strukturer:
1) Sekvens
2) Urval (om-då-annat)
3) Iteration (under loop)
Detta innebär att vilket program som helst, oavsett hur komplext det är, kan konstrueras med bara dessa tre grundläggande byggstenar.
Till exempel, här är hur du kan skriva ett program för att hitta det största numret i en lista med siffror med bara dessa tre strukturer:
``` python
siffror =[1, 2, 3, 4, 5]
störst =siffror[0]
för antal i siffror:
om antal> störst:
störst =antal
print (störst)
```
Detta program initierar först den största variabeln till den första siffran i listan. Sedan itererar den över resten av siffrorna i listan och kontrollerar vart och ett för att se om det är större än det nuvarande största antalet. Om ett större antal hittas lagras det i den största variabeln. Slutligen skriver programmet ut det största antalet.