I remember hearing about this in Automata Languages and Computation class.