Autómatos recursivos - Vieira, Filipe dos Santos (2009)