Linguagens Lineares Fuzzy
Linguagens Formais. Linguagens Lineares. Autômatos Lineares, Linguagens Fuzzy, Autômatos Fuzzy.
As linguagens formais foram introduzidas no final dos anos 50, e desde então têm sido de grande importância para a ciência da computação, especialmente para aplicações na análise léxica e sintática, necessárias para o desenvolvimento de compiladores, e também em técnicas de inferência gramaticais. A hierarquia de Chomsky estendida, relaciona as classes de linguagens formais em termos de seu alcance. Além disso, também é possível estabelecer uma relação entre as classes das linguagens formais na hierarquia de Chomsky e formalismos, tais como máquinas de estados (ou autômatos) e gramáticas. Entre essas classes, a classe das línguagens lineares tem pelo menos quatro tipos de "dispositivos" (máquinas de estado) que a caracterizam ou a representam. Entre eles os λ-autômatos linear não-determinísticos proposto por Bedregal. No final dos anos 60, Lee e Zadeh propôs a noção de línguagens fuzzy em uma tentativa de preencher a lacuna entre linguagens formais e naturais. Por sua vez, Wee Fu, a fim de capturar a noção de incerteza durante o processo de reconhecimento de cadeias de uma linguagem, introduz o conceito de autómatos fuzzy. Como na teoria clássica, podemos traçar uma relação entre as classes de linguagens fuzzy e autômatos fuzzy. No entanto, diferente da teoria clássica, até agora, não existe um modelo de autômatos fuzzy que compute diretamente apenas línguas lineares fuzzy, ou seja, que se relacione com a classe das línguagens lineares fuzzy diretamente. Portanto, este trabalho propõe a realização de um estudo sobre um modelo de autômatos fuzzy, com base nos λ-autômatos linear não-determinísticos, que reconhecem as línguas lineares fuzzy. Além disso, como no estudo das linguagens formais, a investigação sobre as propriedades de fecho de alguns operadores para classes de linguagens formais é um ponto importante, neste trabalho também vamos investigar quais os operadores difusos (união, intersecção, etc.) que são fechados para a classe das linguagens lineares nebulosos.