Une condition repose sur le format suivant: si (tel test est positif) alors (faites ceci). Certains langages comportent des conditions plus complètes: Si (tel test est positif) alors (faites ceci) sinon (faites cela). Le test consiste généralement à comparer la valeur d'une variable au moyen d'un prédicat (>, <, =, ...)
Le branchement constitue un "saut" dans la séquence vers un point ultérieur ou antérieur. Lorsque la destination est antérieure, une partie du programme déjà exécuté est exécutée à nouveau. Le branchement permet donc de définir une itération ou une "boucle", c'est-à-dire une portion du programme qui sera exécutée un certain nombre de fois. On appelle généralement "compteur" la variable permettant de contrôler le nombre d'exécutions d'une boucle. Certains langages définissent une boucle implicite (par un branchement vers un point antérieur du programme). On utilise dans ce cas un compteur pour limiter le nombre d'exécutions d'une boucle. Le saut vers le début de la boucle ne sera exécuté que si le compteur n'a pas atteint le nombre d'itérations requis. La plupart des langages offrent en outre la possibilité de définir des boucles explicites (en déclarant le corps de la boucle et le nombre d'interactions).
L'appel procédural consiste à appeler dans une séquence une portion de programme définie ailleurs. A chaque fois que la procédure ou sous-programme est appelée, le code correspondant est exécuté. L'appel procédural peut se visualiser en remplaçant dans la séquence la ligne d'appel par la procédure elle-même.