Notas de estudo de Autômatos e Teoria da Complexidade para estudantes de Informática