Autômatos Adaptativos
Para um primeiro estudo, considerando que os autômatos adaptativos utilizam, como formalismo subjacente, os autômatos de pilha estruturados, recomenda-se a leitura prévia do material citado na seção B. Em particular, convém ao menos ter lido previamente B1, cap. 2.7, e/ou B2, cap. 2.5 e anexo C.
C1. O artigo seguinte constituiu a publicação internacional que pela primeira vez apresentou e definiu formalmente o autômato adaptativo. Fornece uma visão matemática compacta do formalismo proposto, e apresenta um pequeno exemplo ilustrativo de sua aplicação. Por ser pouco extenso, esse artigo é insuficiente para o estudo mais detalhado dos autômatos adaptativos. Para um adequado aprofundamento nesse assunto, é fundamental a leitura de C4.
Neto, J. J. Adaptive Automata for Context-Sensitive Languages. SIGPLAN NOTICES, Vol. 29, n. 9, September, 1994, pp. 115-124.
C2. Juntamente com outros modelos adaptativos e uma série de aplicações em diversas áreas, o trabalho seguinte descreve uma ferramenta relativamente recente, destinada ao desenvolvimento e simulação de aplicações baseadas em autômatos adaptativos. Trata-se de uma implementação capaz de realizar diversos conceitos não implementados em sua ancestral, a ferramenta pioneira descrita em B4 e B5, incorporando evoluções conceituais e estruturais, através de uma implementação mais completa e atualizada.
Pistori, Hemerson. Tecnologia Adaptativa em Engenharia de Computação: Estado da Arte e Aplicações. Tese de Doutorado, USP, São Paulo, 2003.
C3. A mais recente ferramenta para o apoio ao desenvolvimento de sistemas baseados em autômatos adaptativos, descrita em C2, tem diversos de seus aspectos detalhados nas duas publicações seguintes. Esse material é útil aos interessados em aspectos de implementação de sistemas formais, e, em particular, de formalismos adaptativos.
Pistori, H. e Neto, J. J. AdapTools: Aspectos de Implementação e Utilização Boletim Técnico PCS, Escola Politécnica, São Paulo, 2003
C4. O material seguinte, já citado anteriormente em B2 como referência para o estudo de autômatos de pilha estruturados, constitui o principal material de divulgação da formulação original dos autômatos adaptativos, e de suas aplicações ao processamento de linguagens de programação. Contém, nos seus capítulos 4 e 5, um farto material ilustrado sobre autômatos adaptativos (4.1 a 4.3) e suas aplicações ao estudo, com foco sintático, de diversos aspectos das linguagens de programação que são considerados usualmente através de técnicas não-sintáticas: análise léxica simples e tabelas de símbolos (4.4.2, 4.4.3), tratamento e verificação de tipos (4.4.4 a 4.4.6), análise léxica para linguagens com escopos aninhados (4.4.7), definição e expansão de macros simples e paramétricas (4.4.8). Amplia muito o texto do artigo C1, pela apresentação detalhada de inúmeras técnicas, utilizadas tanto na concepção como no projeto de autômatos adaptativos de grande porte.
Neto, J. J. Contribuições à metodologia de construção de compiladores. Tese de Livre Docência, Escola Politécnica da USP, São Paulo, 1993.
C5. A notação através da qual foram introduzidos os conceitos implementados nos formalismos do autômato adaptativo (C4, C1) apresenta algumas inconveniências quanto à sua legibilidade e expressividade, e no artigo a seguir procura-se sanar algumas delas, através de uma proposta de evolução da notação, visando, principalmente, à melhoria da expressividade da notação utilizada para a representação dos autômatos adaptativos. A leitura desta publicação é recomendada para aqueles que tiverem particular interesse nos aspectos notacionais dos formalismos adaptativos.
Neto, João José and Pariente, César Alberto Bravo. Adaptive Automata - a Revisited Proposal. Lecture Notes in Computer Science. J.M. Champarnaud, D. Maurel (Eds.): Implementation and Application of Automata 7th International Conference, CIAA 2002, Vol.2608, Tours, France, July 3-5, Springer-Verlag, 2002, pp. 158-168
C6. Como um interessante complemento a C4, no estudo de técnicas de utilização de autômatos adaptativos, e também de métodos de projeto de modelos neles baseados, recomenda-se fortemente a leitura do artigo seguinte, em que se apresenta uma coleção de soluções, empregando tecnologia adaptativa, e que proporcionam diversas alternativas para a resolução de problemas de alta complexidade, cuja solução por métodos clássicos pode mostrar-se inadequada ou excessivamente ineficiente.
Neto, J. J. Solving complex problems with Adaptive Automata. Lecture Notes in Computer Science. S. Yu, A. Paun (Eds.): Implementation and Application of Automata 5th International Conference, CIAA 2000, Vol. 2088, London, Canada, Springer-Verlag, 2000, pp.340
