Classes autómatos direccionáveis e aplicação da GA na Teoria dos Autómatos

A Teoria do Automata é um ramo teórico e excitante da informática. A teoria dos autómatos trata da lógica da computação em relação a máquinas simples, designadas por autómatos. Os autômatos são modelos abstratos de máquinas que realizam cálculos sobre um input movendo-se através de uma série de estados ou configurações. Um autómato é um objecto matemático que toma uma palavra como input e decide aceitá-la ou rejeitá-la. Os algoritmos genéticos são uma família de algoritmos que utilizam algum tipo de princípios genéticos presentes na natureza, de forma a resolver problemas computacionais específicos. Os GA têm-se mostrado muito poderosos e também uma ferramenta muito geral para resolver problemas no campo da aprendizagem em redes neuronais, na procura do caminho mais curto, o problema do vendedor ambulante, em jogos de estratégia, o problema do processo de implantação, o problema da determinação dos parâmetros do sistema, a optimização das consultas na base de dados. Uma área interessante e relativamente nova de aplicação de algoritmos genéticos é a teoria dos autómatos.