TCC (graduação) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Curso de Matemática.O primeiro tratamento formal da dinâmica simbólica foi desenvolvido por Morse e Hedlund em 1938 [6], embora a ideia tenha sido apresentada pela primeira vez por Jacques Hadamard em 1898 [2]. Neste trabalho, apresentamos as de finições e os principais resultadosdessa teoria e estabelecemos uma conexão entre subshifts sófi cos e autômatos nitos.