Los algoritmos y autómatas abstractos (máquinas abstractas) se utilizan para describir, modelar, explorar y mejorar computadoras, teléfonos celulares, redes informáticas, como Internet, y los procesos en ellas. Los modelos tradicionales de sistemas de procesamiento de información - autómatas abstractos - están destinados a realizar transformaciones de datos. Estas transformaciones son realizadas por su hardware (dispositivos abstractos) y controladas por su software (programas), ambos los cuales permanecen sin cambios durante todo el proceso computacional. Sin embargo, en las computadoras físicas, su software también cambia mediante herramientas especiales como intérpretes, compiladores, optimizadores y traductores. Además, las personas cambian el hardware de sus computadoras al extender la memoria externa. Además, el hardware de las redes informáticas está alterándose incesantemente: se añaden nuevas computadoras y otros dispositivos mientras que otras computadoras y otros dispositivos son desconectados. Para representar mejor estas peculiaridades de las computadoras y las redes informáticas, introducimos y estudiamos un modelo más completo de cálculos, que se llama autómata o máquina triádica. A diferencia de los modelos tradicionales de cálculos, los autómatas triádicos (máquina) realizan procesos computacionales que transforman no solo datos, sino también hardware y programas, que controlan la transformación de datos. Además, desarrollamos aún más una taxonomía de clases de autómatas y máquinas, así como de autómatas y máquinas individuales de acuerdo con la información que producen.