Banca de DEFESA: VALDIGLEIS DA SILVA COSTA

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : VALDIGLEIS DA SILVA COSTA
DATA : 05/08/2016
HORA: 15:00
LOCAL: Sala B321 IMD
TÍTULO:

Linguagens Lineares Fuzzy

PALAVRAS-CHAVES:

Linguagens Formais. Linguagens Lineares. Autômatos Lineares, Linguagens Fuzzy, Autômatos Fuzzy.

PÁGINAS: 100
RESUMO:

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.

MEMBROS DA BANCA:
Externo ao Programa - 2645969 - ANDERSON PAIVA CRUZ
Presidente - 2212166 - BENJAMIN RENE CALLEJAS BEDREGAL
Interno - 1345816 - REGIVAN HUGO NUNES SANTIAGO
Externo à Instituição - RENATA HAX SANDER REISER - UFPel