Neste trabalho introduziremos a classe dos autômatos lineares não-determinísticos com λ-transições. Baseados numa nova forma normal para gramáticas 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.
Linguagens lineares; gramáticas lineares; forma normal; autômatos lineares não-determinísticos; λ-transições