Some of these techniques are based on results from formal language theory.
complex regular grammars can be built by inferring simple grammars that recognize local languages (García, Vidal, and Casacuberta 1987).