Binary arithmetic codes (AC) with forbidden symbols (FS) can be modeled as finite state machines and treated as variable length trellis codes. In this paper, the relationship between the coding ...