Nel normale ciclo ''fetch-execute'', quindi, il ''program counter'' viene incrementato automaticamente. InoltreIn aggiunta, tutti i linguaggi macchina forniscono una o più istruzioni che ''modificano'' esplicitamente il ''program counter'' se vale una certa condizione (per esempio se l'[[accumulatore (informatica)|accumulatore]]) ha tutti i [[bit (informatica)|bit]] impostati a 0). Queste istruzioni consentono al programma di "saltare" a una istruzione di [[programma]] che non sia quella immediatamente successiva a quella appena eseguita, e forniscono quindi lo strumento fondamentale sul quale sono realizzate le [[struttura di controllo|strutture di controllo]] dei [[linguaggio di programmazione|linguaggi di programmazione]].
