NA:Úsese para obras sobre los modelos matemáticos de dispositivos integrados en un sistema lógico de acuerdo con un algoritmo dado. Esta teoría sirve para la representación de los dispositivos, pero no se interesa por el aspecto material.