May 26, 2013 12:31 WSPC/INSTRUCTION FILE brzozowski IN SEARCH OF MOST COMPLEX REGULAR LANGUAGES