O presente trabalho desenvolve modelos de canais de estados finitos (CEF) para um sistema de comunicação discreto, composto por um modulador digital, um canal com desvanecimento plano (Rayleigh ou Rice) correlacionado no tempo e um demodulador, bem como estuda as propriedades de correlação do processo de desvanecimento para analisar o desempenho de protocolos de solicitação de retransmissão automática (ARQ, do inglês automatic repeat request) em canais CEF. O modelo CEF irá representar os sucessos e erros na transmissão de símbolos em um canal com desvanecimento, o qual é representado matematicamente como uma seqüência de erro binária. Dois modelos de canais CEF comumente usados para caracterizar canais com desvanecimento serão considerados: o modelo de Markov de K-ésima ordem e o modelo Gilbert-Elliott (GEC). Será desenvolvida uma nova expressão analítica para o cálculo da vazão do esquema GBN (do inglês Go-Back-N) do protocolo ARQ para transmissão em canais CEF. A partir da comparação das curvas de vazão obtidas por simulação e as obtidas analiticamente para modelos CEF, serão determinadas faixas de parâmetros do sistema de comunicação nas quais o canal discreto pode ser aproximado por algum modelo CEF considerado neste trabalho. Os resultados obtidos avaliam a influência de diversos parâmetros do canal móvel no desempenho do sistema de comunicações