Ramo teoria de la computacion