Local grammars have been used to describe a wide variety of sets of strings (M. Gross 1989 ; E. Roche, Y. Schabes 1997 ; W.A. Woods 1970), ranging from finite sets of words related by prefixation and suffixation (figure 1) to sets of sentences syntactically and semantically related (figures 2a and 2b). Formal representations of finite-state grammars are quite varied, although equivalent. As can...