Library consisting of algorithms to build M/ADFAs