Definió el concepto en los siguientes términos: «Dos sistemas son funcionalmente isomórficos si ‘hay una correspondencia entre los estados de uno y los estados del otro de modo tal que se conservan las relaciones funcionales’.» En el caso de las computadoras, dos máquinas son funcionalmente isomórficas si y solo si las relaciones secuenciales entre los estados de la primera son exactamente iguales a las relaciones entre estados de la otra.