You could consider it 2 step process: - find "small" regex that defines the language for the example — hard problem - minimize the regex (the language stay

You could consider it 2 step process: - find "small" regex that defines the language for the example — hard problem - minimize the regex (the language stays the same) — can be solved efficiently See the link from http://news.ycombinator.com/item?id=4682623 http://news.ycombinator.com/item?id=4682623