Úsese para las obras sobre los modelos matemáticos abstractos de dispositivos que operan dentro de un sistema lógico consistente de acuerdo con un algoritmo dado; dicha teoría matemática puede usarse como base para el diseño, pero no está relacionada con el hardware.