El proyecto

Este viernes por fin tomé un proyecto. Lo que me hizo decidirme por este es que es completamente teórico, y no tengo que hacer ninguna implementación (aunque por otro lado, tiene la desventaja de que no voy a ver mi trabajo en forma tangible).
La meta es escribir un artículo en el que se presente una prueba autocontenida de que el problema de saber si el lenguaje aceptado por un automata alternante de dos vías es vacio es exponencial.
Deséenme suerte.