Ohjelmoinnin perusteet ja C-kieli

Esimerkki

Kuoppaa kaivettaessa toistuu lapiointi. Kuoppaa pitää kaivaa niin kauan, että se on tarpeeksi syvä.

Luonnollisella kielellä vaatimus (ja toimintaohje) voitaisiin esittää seuraavasti:

Kaiva kuoppaa, kunnes se on tarpeeksi syvä.

Kaivuri.wmf (13120 bytes)

Sama asia voidaan esittää muodollisemmin seuraavasti:

    TEE SEURAAVAA
    {
        kaiva lapiollinen				
    }
    NIIN KAUAN KUIN (kuoppa on liian pieni)

Sama voitaisiin esittää myös seuraavasti:

    
    NIIN KAUAN KUIN (kuoppa on liian pieni)
    {
        kaiva lapiollinen
    }