La programación estructurada sigue tres reglas: la secuencia, la interacción y la decisión. La primera de ellas indica que las instrucciones del código se leerán de principio a fin; la segunda indica que, según cierta condición, un número de instrucciones podrían repetirse un numero determinado de veces, y la tercera indica que según unas ciertas condiciones se ejecutarán o no un conjunto de instrucciones. En el siguiente algoritmo para limpiar platos se aprecian estas tres características. La indentacion de las instrucciones indican cuáles son englobadas y cuáles no por sus predecesoras.
