Taxonomies and toolkits of regular language algorithms door B.W. Watson