Finite-state language processing - Roche, Emmanuel; Schabes, Yves (The MIT Press, 1997)