En la actualidad es un reto realizar una correspondencia entre la teoría de la computación y las aplicaciones de software.