Linguagens racionais e dualidade de Stone

Na teoria da Linguagens Formais, as linguagens racionais são precisamente as linguagens que são reconhecidas por um mecanismo simples chamado autómato finito, ditas linguagens reconhecíveis (Teorema de Kleene), as quais podem ser estudadas algebricamente de uma forma bem determinada. Neste seminário será mostrado como estas linguagens têm também um lado topológico. Será feita uma breve introdução à teoria das Linguagens Racionais e apresentar-se-á uma caracterização topológica destas. Por fim serão apresentados a Dualidade de Stone entre Álgebras Booleanas e Espaços de Stone e como esta dualidade pode ser útil no estudo das Linguagens Racionais. Orientador: Prof. Doutor Mário Branco