Resumo. Neste trabalho introduziremos a classe dos autômatos lineares não-determinísticos com λ-transições. Baseados numa nova forma normal para gramáti-cas lineares, provamos que a classe de linguagens aceita por este tipo de autômato é exatamente a classe das linguagens lineares. Mostramos ainda que, análogo ao que ocorre com os autômatos finitos e com os autômatos com pilhas, a existência das λ-transições em um autômato linear não-determinístico não significa que não possa ser definido um autômato linear não-determinístico sem λ-transições que reconheça a mesma linguagem. Ou seja, as λ-transições não aumentam o poder de aceitação destes autômatos e portanto podem ser dispensadas do modelo. Finalmente, apresentamos uma aplicação destes autômatos no contexto de bioinformática.Palavras-chave. Linguagens lineares, gramáticas lineares, forma normal, autôma-tos lineares não-determinísticos, λ-transições.
IntroduçãoA classe das linguagens lineares se localiza dentro da hierarquia de Chomsky entre as linguagens regulares e as livres de contexto. O principal modelo computacional para esta classe de linguagens são as gramáticas lineares. Esta gramática permite gerar cadeias fazendo casamentos entre prefixos e sufixos de subcadeias da cadeia a ser gerada. Esta capacidade de casamentos faz com que esta classe de linguagens contenha a maioria das linguagens livres de contexto usuais. Assim, por exemplo a linguagem dos palíndromos e {a n b n : n ≥ 1}, que geralmente são usadas como exemplos de linguagens livres de contexto que não são regulares, são na verdade linguagens lineares. Um exemplo de uma linguagem que é livre de contexto e que não é linear é: {a n b n a m b m : n, m ≥ 1}. Em termos de autômatos, na literatura há pelo menos três modelos diferentes para a classe das linguagens lineares: Um tipo especial de autômato finito de duas fitas [22,12], tradutores finitos [22,20] e autômatos com pilha que executam no máximo uma volta para qualquer entrada [11,12,14,3,13]. Apesar dos méritos de cada um desses modelos, eles não são naturais nem intrínsecos, pois consideram