Prolog programs for transforming regular expressions into the corresponding minimal finite state recognizers. Memoire de (1984)

by S COUPET, F DUPLESSIS