El codificador EFMPlus se basa en una máquina de estados finitos determinista que tiene cuatro estados.