Teoria da Computação, Linguagens Formais e Autômatos, Computabilidade e Complexidade Conceito