Você está na página 1de 7

Determinismo em Autmatos de Estados Finitos Adaptativos

A. A. de Castro Jr., J. J. Neto, H. Pistori


estados finitos determinsticos e no-determinsticos. Em [9], foi destacada a importncia da compreenso do relacionamento existente entre os tempos de computao determinstica e no-determinstica, uma vez que os algoritmos desenvolvidos para muitos problemas prticos, apesar de serem inerentemente no-determinsticos, so executados em mquinas que atuam de forma determinstica. Allauzen e Mohri [10], [11] desenvolveram um algoritmo eficiente para pre-determinizao de transdutores que podem ser aplicados em reconhecimento de voz e processamento de imagens. Apesar disso, a maior parte das solues encontradas para o processamento de linguagens naturais sempre se apresenta com caractersticas de no-determinismo ou de ambigidade, as quais so resolvidas atravs da simulao seqencial do paralelismo inerente aos processos em questo, em tempo exponencial [1]. Quando lidamos com formalismos convencionais, o nico requisito para que haja determinismo que uma e somente uma regra de transio possa ser aplicada a cada passo de operao, seja qual for a configurao corrente do dispositivo. No caso dos formalismos adaptativos, existe uma sria dificuldade relacionada com os seus aspectos de determinismo: sua natureza dinmica no nos permite determinar a priori, com facilidade, se o dispositivo ou no determinstico. Para simplificar tal problema, neste trabalho, so discutidos alguns aspectos relacionados com a manuteno do determinismo, usando-se uma instncia particularmente importante dos dispositivos adaptativos: os autmatos de estados finitos adaptativos, definidos em [7]. Alm disso, formalizado o conceito de determinismo sobre dispositivos adaptativos e, com base nele, definida a subclasse dos dispositivos adaptativos determinsticos. II. AUTMATO DE ESTADOS FINITOS ADAPTATIVO

Resumo O determinismo uma das caractersticas que devem ser observadas durante o projeto de dispositivos formais, quando se busca bom desempenho. No caso dos formalismos adaptativos, existe uma sria dificuldade relacionada com a manuteno do determinismo, pois, devido ao seu comportamento automodificvel, muito difcil garantir que o determinismo ser mantido durante toda a operao do dispositivo. Este trabalho apresenta, formalmente, o conceito de determinismo para uma classe de dispositivos adaptativos que particularmente importante devido sua relativa simplicidade, a dos autmatos de estados finitos adaptativos. Partindo do estudo deste formalismo especfico, alm da definio de uma subclasse de dispositivos adaptativos determinsticos, foi relacionado um conjunto de restries que devem ser obedecidas para a obteno de autmatos de estados finitos adaptativos determinsticos. Palavras-chave Autmatos de estados finitos adaptativos, Nodeterminismo, Dispositivos adaptativos.

LGUNS trabalhos recentes discutem a aplicao dos formalismos adaptativos em problemas complexos da teoria da computao [1], construo de compiladores [2], inteligncia artificial [3], [4], processamento de linguagem natural [5], robtica [6], entre outros. Alm disso, os autmatos adaptativos tm sofrido mudanas com o objetivo de simplificar sua formulao original e torn-lo um dispositivo mais prtico e eficiente [7]. O determinismo, por exemplo, possui relao direta com o bom desempenho das aplicaes que fazem uso dos dispositivos formais projetados. Em [8], foi realizado um estudo comparativo sobre a complexidade de autmatos de
Os autores agradecem o apoio financeiro da Fundao de Apoio ao Desenvolvimento do Ensino, Cincia e Tecnologia do Estado de Mato Grosso do Sul (FUNDECT) e da Financiadora de Estudos e Projetos (FINEP). Os autores tambm agradecem a Universidade Catlica Dom Bosco (UCDB) pelo apoio indireto realizao deste trabalho e ao Conselho Nacional de Desenvolvimento Cientfico e Tecnolgico (CNPq) pela bolsa de produtividade concedida ao Prof. Dr. Hemerson Pistori. A. A. Castro Jr. atua no Departamento de Cincias Exatas (DEX) do Campus de Coxim (CPCX) da Universidade Federal de Mato Grosso do Sul (UFMS), Av. Mrcio de Lima Nantes, S/N Vila da Barra CEP: 79400-000 - Coxim/MS, Brasil (endereo eletrnico: amaury@cpcx.ufms.br). J. J. Neto atua no Departamento de Engenharia de Computao e Sistemas Digitais (PCS) da Escola Politcnica (POLI) da Universidade de So Paulo (USP), Av. Prof. Luciano Gualberto, Trav. 3, N. 158 - CEP: 05508-900 - So Paulo/SP, Brasil (endereo eletrnico: joao.jose@poli.usp.br). H. Pistori atua no Grupo de Pesquisa em Engenharia e Computao (GPEC) da Universidade Catlica Dom Bosco (UCDB), Av. Tamandar, 6000 - Jardim Seminrio - CEP: 79117-900 - Campo Grande/MS, Brasil (endereo eletrnico: pistori@ucdb.br).

I.

INTRODUO

A caracterstica mais importante dos dispositivos adaptativos que a cada uma de suas regras podem ser associadas aes adaptativas. Isso permite a execuo de operaes de edio que modificam dinamicamente o conjunto de regras responsvel por determinar o comportamento do dispositivo. Portanto, pela aplicao de alguma dessas regras adaptativas, o comportamento do dispositivo como um todo pode ser modificado, algumas vezes dramaticamente. Assim, caso a execuo de aes arbitrrias for permitida, no se poder garantir o determinismo do dispositivo resultante, agora definido pelo conjunto de regras resultantes da aplicao das aes adaptativas.

Em sua formulao geral, os dispositivos adaptativos so caracterizados atravs de duas camadas conceituais: o dispositivo subjacente e o mecanismo adaptativo [12]. O dispositivo subjacente representado por um dispositivo guiado por regras (formalismo convencional, no-adaptativo) e opera movendo-se de uma configurao para outra, sucessivamente, em resposta a estmulos recebidos em sua entrada. Tais movimentos so definidos por um conjunto de regras que mapeiam cada possvel configurao em uma configurao seguinte correspondente. O mecanismo adaptativo responde pelas mudanas incrementais no comportamento do dispositivo subjacente. As propriedades de automodificao so representadas pelas funes e aes adaptativas, capazes de alterar o conjunto de regras do dispositivo subjacente, determinando, conseqentemente, seu comportamento a partir de ento. Os autmatos adaptativos podem ser enquadrados entre os principais representantes dessa classe de dispositivos formais. Tal formalismo utiliza, como dispositivo subjacente, o autmato de pilha estruturado [13]. Pistori [7], ao propor o autmato de estados finitos como dispositivo subjacente, elimina a pilha existente no autmato adaptativo inicialmente definido, simplificando o estudo do comportamento de dispositivos com tais caractersticas, em particular dos aspectos de determinismo. Um autmato de estados finitos adaptativo pode, portanto, ser formalmente definido como um par ordenado A = (ND0, MA), onde ND0 corresponde ao autmato de estados finitos subjacente inicial e MA, ao mecanismo adaptativo. As Sees II-A e II-B descrevem, em detalhes, essas componentes dos autmatos de estados finitos adaptativos. A. Dispositivo Subjacente (autmato de estados finitos no-adaptativo) Nos autmatos de estados finitos adaptativos, o dispositivo subjacente o autmato de estados finitos (no-adaptativo). Instanciando para este caso a formulao proposta em Neto [12], resulta o seguinte: Definio 1: Seja D = (, Q, , q0, F) a 5-upla que representa um autmato de estados finitos. Esse formalismo pode ser definido como o dispositivo subjacente de um autmato de estados finitos adaptativo pela 6-upla ND = (C, NR, , c0, A, NA), onde: NR o conjunto de regras que definem ND atravs da relao NR C S C NA. As regras r NR tm a forma r = (ci, s, cj, z), significando que, como resposta a algum estmulo de entrada s , r movese da configurao corrente ci para cj, consumindo o estmulo s e produzindo o smbolo de contexto z NA; C o conjunto de todas as possveis configuraes de ND; Uma configurao ci C representada por um par ci = (qj, ), onde qj Q o estado corrente; * simboliza a parte da cadeia ainda no consumida e {} o prximo smbolo da cadeia de entrada a ser tratado;

c0 = (q0, ) C ( *) a sua configurao inicial; A C o subconjunto de suas configuraes de aceitao. Uma configurao de aceitao ca C representada por uma 2-upla ca = (qf, ), onde qf F o estado corrente e indica que toda a cadeia foi consumida, no restando mais smbolos a serem tratados.

A componente NA til em operaes de transduo, podendo, por exemplo, ser utilizada na obteno de analisadores sintticos [13]. Entretanto, o conjunto NA , que contm os smbolos de contexto que podem ser inseridos na cadeia de entrada e mapeados em chamadas de procedimentos [12], no foi utilizado por Pistori [7] na formalizao original dos autmatos de estados finitos adaptativos. Dessa forma, para tratar questes relacionadas com o determinismo, ser considerado, por convenincia, que NA = {}. Com isso, um passo de operao do dispositivo subjacente executado da mesma forma que um passo de operao de um autmato de estados finitos, que corresponde aplicao de uma das regras definidas em NR, tendo como estmulos de entrada os smbolos pertencentes a . A execuo de um passo de operao leva o dispositivo subjacente da configurao ci para a configurao cj (denotado por ci cj). Nos dispositivos adaptativos, define-se um passo de operao adaptativo k como um superconjunto de passos de operao do dispositivo subjacente no instante k. Portanto, no autmato de estados finitos adaptativo, o passo de operao muda juntamente com as modificaes no conjunto de regras NR do autmato finito subjacente. Durante um passo de operao adaptativo k 0, o autmato de estados finitos adaptativo obedecer ao comportamento definido por NRk at a execuo de alguma ao adaptativa no-vazia que iniciar o passo de operao k + 1, evoluindo seu conjunto de regras para NRk+1. Tais mudanas so executadas por uma ao adaptativa, que faz parte do mecanismo adaptativo definido a seguir, na Seo II-B. B. Mecanismo Adaptativo Seja AD = (ND0, MA) um autmato de estados finitos adaptativo e seja NDk = (Ck, NRk, , ck, A, NA) o dispositivo subjacente correspondente ao passo de operao adaptativo k 0 do autmato, para uma dada cadeia de entrada w *. A execuo de alguma ao adaptativa no-vazia evolui NDk para NDk+1. Com isso, AD inicia a sua operao no passo k + 1, criando o conjunto NRk+1 como verso modificada de NRk. AD seguir o comportamento definido por NDk+1, at que uma futura execuo de ao adaptativa no-vazia provoque um novo passo de operao adaptativo. Para tanto, o dispositivo adaptativo correspondente incorpora definio geral do mecanismo subjacente os conjuntos BA e AA, das aes adaptativas, respectivamente, anteriores e posteriores. As aes adaptativas anteriores se aplicam ao conjunto de regras do dispositivo antes da mudana de configurao. As posteriores so aplicadas aps a mudana de configurao. No caso especfico dos autmatos de estados finitos adaptativos, por definio, AA = [7].

A cada passo de operao adaptativo, um novo conjunto de regras AR = BA NR AA definido. Esse novo conjunto de regras associa a cada regra no-adaptativa um par de aes adaptativas (cada uma delas possivelmente vazia). Tais aes so aplicadas em qualquer passo de operao k a cada regra em NRk NR e so implementadas atravs de funes adaptativas. As funes adaptativas especificam as modificaes a serem realizadas no dispositivo subjacente, quando a ao adaptativa correspondente executada. O funcionamento das funes adaptativas lembra o das funes paramtricas em um programa de computador. O corpo de uma funo adaptativa consiste de uma lista de aes adaptativas elementares (ou, simplesmente, aes elementares) e de duas aes adaptativas, inicial e final (opcionais), que so executadas, respectivamente, antes e aps a execuo do conjunto de aes elementares especificado. Aes elementares podem ser de trs tipos: as de consulta possibilitam a busca de padres na estrutura definida pelas regras da camada subjacente; as de insero e de remoo determinam, respectivamente, as regras a serem inseridas ou removidas do conjunto corrente de regras do dispositivo subjacente: Definio 2: Uma funo adaptativa uma 9-upla AF = (F, P, V, G, C, D, I, S, E), na qual: F o nome da funo adaptativa. P a lista (r0,r1,...,rm) de parmetros formais. V a lista (v1,v2,...,vn) de identificadores de variveis. G a lista (g1*,g2*,...,gp*) de identificadores de geradores. C a lista de aes elementares de consulta. D a lista de aes elementares de remoo. I a lista de aes elementares de insero S uma ao adaptativa inicial, opcional, a ser executada antes de F. E uma ao adaptativa final, opcional, a ser executada depois de F. Todas as aes adaptativas so da forma (f, p), na qual: f o nome de uma funo adaptativa. p a lista (p0,p1,...,pk) de argumentos a serem passados para f. As aes elementares possuem o seguinte formato: ( ? | | + ) [ padro ] onde padro corresponde representao de uma regra do dispositivo subjacente, contendo, possivelmente, nomes de variveis e de geradores nas posies correspondentes aos elementos da regra. Alm disso, os prefixos ?, e + denotam as aes elementares de consulta, remoo e insero, respectivamente. Um gerador opera como uma espcie de constante, cujo valor gerado no incio da execuo da ao adaptativa, e se mantm inalterado enquanto durar sua execuo. O valor de um gerador nico e diferente de qualquer smbolo em uso no dispositivo subjacente. J as variveis tm os seus valores atribudos durante a execuo

das aes adaptativas elementares de consulta e remoo (estas executam uma consulta implcita). A atribuio de valor varivel se d atravs de um mecanismo de busca de padres que responsvel por essa funoatribuir os valores, tendo como base o conjunto de regras do dispositivo subjacente. Uma vez atribudos, os valores de cada varivel e de cada gerador no se alteram durante a execuo da funo adaptativa. Quando o mecanismo de busca de padres no encontra qualquer regra na camada subjacente que satisfaa o formato determinado pela ao elementar de consulta e remoo, as variveis so marcadas como indefinidas e todas as aes elementares que delas se utilizam so desconsideradas. Para as aes elementares de insero, que so sempre executadas depois das aes de consulta e remoo, todas as variveis referenciadas devem ter sido previamente instanciadas ou marcadas como indefinidas. Definio 3: Um autmato de estados finitos adaptativo uma 7-upla AD = (Ck, ARk, , ck, A, NA, BA) (k 0), onde: Ck o conjunto de todas as possveis configuraes para o dispositivo subjacente ND no passo k. Para k = 0, tem-se em C0 o conjunto inicial de todas as configuraes vlidas; Uma configurao ci C definida da mesma forma que para o autmato de estados finitos subjacente; ck Ck a sua configurao inicial no passo k. Para k = 0, tem-se em c0 C0 a configurao inicial para o autmato de estados finitos adaptativo correspondente; (vazio) denota a ausncia de qualquer elemento vlido do conjunto correspondente; BA o conjunto das aes adaptativas anteriores, contendo a ao nula ( BA); AR o conjunto de regras que definem AD atravs da relao AR BA C S C NA. As regras rA AR tm a forma rA = (, ci, s, cj, z), significando que, como resposta a algum smbolo de entrada s , rA inicialmente executa a ao adaptativa BA. A execuo de rA descontinuada aps, eventualmente, a ao ter eliminado rA de AR. Caso contrrio, aplica-se a regra subjacente (no-adaptativa) r = (ci, s, cj, z) NR, como descrito anteriormente, seno, nova regra adaptativa selecionada para ser aplicada configurao corrente; A C o subconjunto de suas configuraes de aceitao, o mesmo definido para o autmato de estados finitos subjacente. Segundo Pistori [7], a utilizao exclusiva de aes adaptativas anteriores no prejudica a capacidade expressiva do modelo, pois transies vazias, executadas antes de uma transio convencional, podem ser empregadas para simular, atravs de sua prpria ao adaptativa posterior, uma ao adaptativa anterior que fosse eventualmente necessria na transio convencional mencionada. C. Modo de Operao Um autmato de estados finitos adaptativo opera, portanto,

atravs da execuo de passos de operao adaptativos, a cada chamada de uma funo adaptativa, e de passos de operao do dispositivo subjacente, similares aos passos de operao dos autmatos de estados finitos convencional (noadaptativo). Esses passos de operao so definidos atravs do conjunto de regras de transio do autmato: Definio 4: Toda regra de transio de um A-AEF possui o seguinte formato: [(q, ), B (q, )] onde: q e q so, respectivamente, os estados de origem e destino da transio. Eventualmente, q = q. denota a parte da cadeia de entrada ainda no consumida antes da transio para o estado q. denota a parte da cadeia de entrada ainda no consumida aps a transio para o estado q. e so tomos do alfabeto, correspondentes ao primeiro smbolo da cadeia ainda no consumida, explicitamente manipulados na transio especificada. B BA uma funo adaptativa anterior. Se B = , ento a transio executada como em um AEF, e o conjunto de regras no modificado.

Quando B , executa-se um passo de operao adaptativo, o qual pode acarretar a introduo de no-determinismos no dispositivo subjacente, e essas situaes podem depender da cadeia de entrada. No entanto, possvel definir um conjunto de restries a serem impostas ao conjunto de regras que o definem, as quais sejam capazes de tornar o determinismo uma caracterstica inerente ao autmato, para qualquer instncia da cadeia de entrada. Essas questes esto discutidas em detalhes na Seo IV. Quando B = , as transies so executadas como em um autmato de estados finitos. III. ASPECTOS DE DETERMINISMO E NO-DETERMINISMO EM AUTMATOS DE ESTADOS FINITOS ADAPTATIVOS Pode-se dizer que um autmato de estados finitos adaptativo determinstico se e somente se, a cada passo de sua operao, o autmato de estados finitos subjacente permanece determinstico. Considerando a definio mais geral para a classe de dispositivos guiados por regras [12], tem-se: Definio 5: Um dispositivo adaptativo dito determinstico se e somente se, a cada passo de sua operao, o mecanismo subjacente for determinstico. Apesar de parecer simples e direto, no caso dos autmatos de estados finitos adaptativos, existem situaes nas quais, dependendo da cadeia de entrada apresentada ao autmato, os no-determinismos nunca se manifestam durante a operao do dispositivo, embora estejam presentes.

Um exemplo que ilustra esse aspecto do determinismo em tais dispositivos o da soluo compacta e eficiente, baseada em autmatos adaptativos, proposta em [1], para reconhecer uma linguagem formada a partir de um nmero finito de cadeias de alfabetos disjuntos, pela intercalao arbitrria (merge) dos smbolos das cadeias participantes do merge. As Figuras 1(a) e 1(b) mostram, respectivamente, um autmato de estados finitos adaptativo que reconhece o merging de duas seqncias curtas com alfabetos disjuntos [1] e um autmato de estados finitos adaptativo que faz o mesmo, mas usando seqncias com alfabetos no-disjuntos. Ambos operam da seguinte forma: todos os smbolos da cadeia de entrada so consumidos a partir do estado inicial. Cada transio que consome um smbolo de uma das seqncias est associada ao adaptativa A, que, quando executada, exclui a transio associada e conecta o estado inicial prxima transio correspondente quela seqncia. Quando todos os smbolos de uma das seqncias tiverem sido consumidos, a ao adaptativa C ser executada, removendo do autmato uma transio contendo uma chamada da funo adaptativa B. Portanto, se os smbolos de todas as seqncias forem consumidos, todas as transies associadas correspondente chamada da funo B tero sido removidas e, dessa forma, o autmato alcanar o estado final, reconhecendo assim a cadeia de entrada. No entanto, se a ao adaptativa B chegar a ser executada durante a operao, a transio que levaria o autmato ao estado final ser removida e, portanto, a cadeia de entrada, rejeitada. Vale ressaltar que, de acordo com o mecanismo de operao dos autmatos adaptativos [13], a ao B s ser executada se no houver smbolo algum (de nenhuma das cadeias envolvidas na operao de merging) que possa ser consumido a partir do estado inicial do autmato nessa ocasio. Na Figura 1(a), a operao do autmato adaptativo exemplificado totalmente determinstica, j que os alfabetos so disjuntos, impossibilitando que surja algum nodeterminismo devido operao de merge implementado por esse mtodo. Na Figura 1(b), o no-determinismo do autmato s se manifesta quando, para casos particulares de cadeias de entrada, houver um conflito entre dois smbolos iguais, provenientes de cadeias diferentes. Nesses casos, o autmato no consegue determinar, diretamente, se o smbolo conflitante proveio de uma das cadeias ou da outra.

Observe que as aes adaptativas elementares de consulta e remoo 1 no introduzem no-determinismos de forma direta. No entanto, os efeitos das consultas realizadas podem, ocasionalmente, introduzir no-determinismos atravs de aes de remoo e insero que faam uso de variveis utilizadas nas consultas. As sees seguintes estudam, separadamente, as situaes em que as aes elementares, presentes nos autmatos de estados finitos adaptativos, podem influenciar o determinismo do autmato. A. Aes Elementares de Consulta Em um autmato de estados finitos adaptativo, seja AF uma funo adaptativa descrita conforme a definio apresentada em [7]. Uma ao elementar de consulta tem a seguinte forma geral: ?[(q, s), B (q, )] Tais aes elementares executam consultas buscando, no atual conjunto de regras, um padro similar ao que foi especificado na forma geral. O padro encontrado ser utilizado para preencher os valores das variveis correspondentes. Dessa forma, no-determinismos podem ser introduzidos quando essas variveis, devidamente preenchidas, so utilizadas em aes elementares de remoo e insero. Em tais casos, para manter o determinismo, as seguintes condies devem ser observadas: Se q : Quando o estado de origem q no conhecido, uma forma de evitar a introduo de potenciais no-determinismos (quando a mesma usada em aes elementares de insero) garantir que a varivel q no seja preenchida com mltiplos valores. Embora seja muito restritiva, uma forma simples e direta fazer com que s e q sejam conhecidos. Caso isso no seja possvel, deve-se eliminar o uso dessas variveis em aes elementares de insero na funo adaptativa correspondente. Se s : Quando s no conhecido, a nica restrio sobre as aes elementares de insero que o valor de q seja nico. Com isso, mesmo que a varivel s seja preenchida com mltiplos valores, garante-se que no haver risco da introduo de potenciais nodeterminismos. Se q : Neste caso, a presena de um nodeterminismo imediatamente constatada quando [q, s], tal que varivel q so atribudos mltiplos valores. Caso contrrio, q ter sempre um valor nico. Se todas as restries acima forem satisfeitas, pode-se garantir que os efeitos da execuo das aes elementares de consulta no introduziro no-determinismos. Na seo seguinte, so analisadas as situaes ocasionadas exclusivamente pela execuo das aes elementares de insero.

(a) Alfabetos Disjuntos

(b) Alfabetos No-disjuntos


Fig. 1. Dois autmatos de estados finitos adaptativos que aceitam o merging de duas cadeias curtas. Em (a), o autmato adaptativo sempre opera deterministicamente, seja qual for a cadeia de entrada. Em (b), algum nodeterminismo pode, eventualmente, se manifestar. Por exemplo, para a cadeia aecbgcd, a operao do autmato ser determinstica, o que no ocorre com a cadeia aebcgcd.

IV. AUTMATOS DE ESTADOS FINITOS ADAPTATIVOS PERMANENTEMENTE DETERMINSTICOS O exemplo utilizado na seo anterior demonstra uma situao na qual, apesar de estar presente, o no-determinismo pode no se manifestar, para uma dada cadeia de entrada. Desse modo, o autmato pode operar de forma determinstica, mesmo sendo potencialmente no-determinstico. Seja A um autmato finito adaptativo determinstico que executa uma ao adaptativa durante a sua operao. Nesse caso, para garantir que o determinismo seja mantido, algumas restries devem ser observadas durante a definio e a operao das aes elementares de consulta, remoo e insero. Definio 6: Um autmato de estados finitos adaptativos dito fortemente determinstico quando seu autmato de estados finitos subjacente permanece determinstico durante qualquer ao adaptativa executada para uma dada cadeia de entrada w *.

1 No caso das aes elementares de remoo, por definio, podem ser realizadas consultas implcitas [7].

B.

Aes Elementares de Insero

Aes elementares de insero possuem a seguinte forma geral: +[(q, s), B (q, )] no momento de sua aplicao, para cada transio na forma [(q, s), B (q, )] as seguintes situaes devem ser verificadas: 1) q Q: Neste caso, q est representado por um gerador. Com isso, no h conflitos e o determinismo ser mantido. 2) q Q: Neste caso, poder haver conflitos entre as regras de transio correntes e a regra includa, resultando na introduo de no-determinismos nas seguintes situaes: (1) q no um conjunto unitrio (efeito de uma ao de consulta); (2) q possui valor unitrio, mas, no momento da aplicao da ao elementar de insero, para algum q, o autmato possui regras na forma (ocasionalmente, B = ): [(q, s), B (q, )] 3) q Q e s s: Se ![q,s,q]q, ento o autmato transita com um smbolo s que no consumido pelas regras existentes. Portanto, o determinismo ser mantido, pois esto sendo includas transies que especificam valores distintos daqueles utilizados em transies existentes. 4) q Q e s = s: Nesta situao, pode haver a incluso de no-determinismo caso o autmato possua transies que utilizem o mesmo smbolo s que consumido por alguma regra j existente, uma vez que, na configurao corrente do autmato, uma das transies existentes satisfaz o lado esquerdo daquela que est sendo inserida. Nesse caso, as condies devem ser satisfeitas: a)

das aes adaptativas elementares de incluso, a regra a ser includa j estar fazendo parte do conjunto de transies do autmato e, portanto, no afetar o determinismo do autmato. V. CONCLUSES

As recentes pesquisas realizadas sobre os autmatos adaptativos [13] vm provocando mudanas diversas em seu modo de operao, simplificando a sua formulao original e tornando-os um dispositivo formal mais prtico e eficiente. Uma das mudanas mais significativas resultou na definio dos autmatos de estados finitos adaptativos [7]. Dessa forma, tal formalismo foi utilizado para ilustrar, definir e apresentar alguns aspectos relacionados com o determinismo em dispositivos adaptativos. A importncia dos aspectos prticos do determinismo tem recebido ateno especial, visto que o desempenho est diretamente relacionado com tais aspectos [11], [10], [9], [8]. Este trabalho registra e ilustra os recentes avanos obtidos nessa rea, visando a definio de uma metodologia de projeto para usurios dos dispositivos adaptativos. A insero dinmica de no-determinismos atravs do mecanismo adaptativo do dispositivo foi discutida e algumas regras para o projeto de funes adaptativas foram propostas, visando garantir a permanente execuo determinstica do autmato de estados finitos adaptativo. Por sua vez, os resultados obtidos podem ser facilmente estendidos e generalizados para a superclasse dos dispositivos adaptativos. Os autores esperam que os resultados deste trabalho possam motivar estudos futuros sobre a anlise de complexidade e sobre os aspectos de determinismo em outras instncias de dispositivos adaptativos. Alm disso, sugerem-se o desenvolvimento e a implementao de algoritmos e ferramentas de software para deteco de determinismo e determinizao de dispositivos adaptativos. REFERNCIAS
[1] [2] [3] [4] J. J. Neto, Solving complex problems efficiently with adaptive automata, in Conference on the Implementation and Application of Automata - CIAA 2000, Ontario, Canada, July 2000. J. J. Neto e M. K. Iwai, Adaptive automata for syntax learning, in Anais da XXIV Conferencia Latinoamericana de Informtica CLEI 98, Quito, Equador, pp. 135-149, 1998. H. Pistori e J. J. Neto, Decision tree induction using adaptive FSA, CLEI Electronic Journal, vol. 6, no. 1, 2003. H. Pistori, P. S. Martins, e A. A. de Castro Jr., Adaptive finite state automata and genetic algorithms: Merging individual application and populations evolution, in Proceedings of the International Conference on Adaptive and Natural Computing Algorithms ICANNGA, Coimbra, Portugal, 2005. J. J. Neto e M. Moraes, Using adaptive formalisms to describe contextdependencies in natural language, Lecture Notes in Artificial Intelligence. N.J. Mamede, J. Baptista, I. Trancoso, M. das Graas, V. Nunes (Eds.): Computational Processing of the Portuguese Language 6th International Workshop, PROPOR 2003, vol. 2721, pp. 94-97, June 2003. M. A. A. Sousa e A. H. Hirakawa, Robotic mapping and navigation in unknown environments using adaptive automata, in Proceedings of International Conference on Adaptive and Natural Computing Algorithms ICANNGA 2005, Coimbra, Portugal, 2005. H. Pistori, J. J. Neto, Tecnologia adaptativa em engenhara de computao: Estado da arte e aplicaes, Tese de Doutorado, Universidade de So Paulo, So Paulo, Brasil, 2003 [In Portuguese].

B = B : Para uma dada configurao, se as aes

adaptativas de duas transies igualmente aplicveis no forem idnticas, ento haver a introduo de um no-determinismo, caso o autmato venha a conter ambas as transies. Isso se deve ao perigo potencial de que as duas aes adaptativas gerem efeitos incompatveis. b) q = q: Nesta situao, se q q, estaremos inserindo uma transio que consome o mesmo smbolo e alcana um estado distinto do especificado em transio j existente no autmato. Isso caracteriza um no-determinismo, exceto quando ambas as transies (a corrente e a que est sendo inserida) so as mesmas (portanto, nodeterminismos no sero includos). Exceto para os casos (1) e (3), que inserem novas regras com segurana, se cumpridas as demais condies, alm da impossibilidade de introduo de no-determinismos por parte

[5]

[6]

[7]

[8] [9] [10] [11]

[12]

[13]

J. Hromkovic, J. Karhumaki, H. Klauck, G. Schnitger, e S. Seibert, Measures of nondeterminism in finite automata, in Proc. ICALP 2000, Lecture Notes in Computer Science, vol. 1853, 2000, pp. 199-210. R. E. Stearns, Deterministic versus nondeterministic time and lower bound problems, Journal of the ACM, vol. 50, no. 1, pp. 91-95, 2003. C. Allauzen e M. Mohri, The determinizability of weighted automata and transducers, in Workshop of Weighted Automata: Theory and Applications (WATA), Dresden, Germany, March 2002. , An efficient pre-determinization algorithm, in CIAA 8th International Conference on Implementation and Application of Automata, ser. Lecture Notes in Computer Science, vol. 2759. Springer, 2003, pp. 83-95. J. J. Neto, Adaptative rule-driven devices general formulation and a case study, in CIAA2001 Sixth International Conference on Implementation and Application of Automata, Pretoria, South Africa, July 2001, pp. 234-250. , Adaptive automata for context-sensitive languages, SIGPLAN NOTICES, vol. 29, no. 9, pp. 115-124, September 1994.

interseco das reas de Viso Computacional, Aprendizagem Automtica e Fundamentos de Computao, em especial Tecnologias Adaptativas.

Amaury Antnio de Castro Junior graduado em Cincia da Computao pela Universidade Federal de Mato Grosso do Sul (1997) e mestre em Cincia da Computao pela mesma universidade (2003). Atualmente, aluno de doutorado da Escola Politcnica da USP, sob a orientao do Prof. Joo Jos Neto. membro do Laboratrio de Linguagens e Tcnicas Adaptativas e do Grupo de Pesquisa em Engenharia e Computao da UCDB e professor assistente da Universidade Federal de Mato Grosso do Sul (UFMS), Campus de Coxim (CPCX). Tem experincia na rea de Cincia da Computao, com nfase em Teoria da Computao, atuando nos seguintes temas: Tecnologias Adaptativas, Autmatos Adaptativos, Projeto de Linguagens de Programao e Modelos de Computao.

Joo Jos Neto graduado em Engenharia de Eletricidade (1971), mestre em Engenharia Eltrica (1975) e doutor em Engenharia Eltrica (1980). livre-docente (1993) pela Escola Politcnica da Universidade de So Paulo. Atualmente, professor associado da Escola Politcnica da Universidade de So Paulo e coordena o LTA Laboratrio de Linguagens e Tecnologia Adaptativa do PCS Departamento de Engenharia de Computao e Sistemas Digitais da EPUSP. Tem experincia na rea de Cincia da Computao, com nfase nos Fundamentos da Engenharia da Computao, atuando principalmente nos seguintes temas: dispositivos adaptativos, tecnologia adaptativa, autmatos adaptativos e em suas aplicaes Engenharia de Computao, particularmente em sistemas de tomada de deciso adaptativa, anlise e processamento de linguagens naturais, construo de compiladores, robtica, ensino assistido por computador, modelagem de sistemas inteligentes, processos de aprendizagem automtica e inferncias baseadas em tecnologia adaptativa. Hemerson Pistori concluiu o doutorado pela Universidade de So Paulo, USP, em 2003, e o mestrado pela Universidade Estadual de Campinas, UNICAMP. Atualmente, bolsista de produtividade em desenvolvimento tecnolgico e extenso inovadora do CNPq, professorpesquisador da Universidade Catlica Dom Bosco, UCDB, e coordenador do Grupo de Pesquisa em Engenharia e Computao, GPEC. membro do conselho editorial do peridico cientfico Colabora e do International Journal for Computer Vision and Biomechanics. Seus interesses em pesquisa concentram-se na