Text this: Estudio de relaciones entre la teoria de autómatas , la lógica de segundo orden y el mu-cálculo