Suponhamos que um conjunto de dados (palavras) pertencentes a uma linguagem L são transmitidos atra
Suponhamos que um conjunto de dados (palavras) pertencentes a uma linguagem L são transmitidos atraves de um canal de comunicação com possíveis erros. Formalmente, o canal e definido por um conjunto de pares de palavras que representam os possíveis input/output. Se assumirmos que o canal considerado garante que nenhuma palavra u de L pode ser recebida como sendo uma outra palavra de L, dizemos que L detecta erros para o canal em questão. Veremos alguns resultados obtidos em colaboração com Stavros Konstantinidis (Saint Mary's University) cujo objectivo e avaliar o potencial de detecção de erros de uma linguagem racional relativamente a alguns canais definidos por transductores finitos.
Date and Venue
Start Date
Venue
DMP - 0.06 (Edifício das Matemáticas da FCUP)
Speaker
Pedro Silva (FCUP/CMUP)
Area
Semigroups, Automata and Languages