PDF TI Experience – Teoria da Computação e automata: Línguas Regulares e Autômatos Finitos, Context Free Grammar and Context Free Languages, Automata de Empurrão, Turing Machine e Decidabilidade Sullyvan Marks