Dinâmica simbólica e teoria da computação

Abstract

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.