Ritmo -dijo Stephen-, es la primera y formal relación estética entre parte y parte en un conjunto estético, o entre el conjunto estético y sus partes o una de sus partes, o entre una parte del conjunto estético y el conjunto mismo.
Un lenguaje de programación, con su sintaxis formal y las reglas de demostración que define su semántica, es un sistema formal para el cual la ejecución del programa provee solamente un modelo.