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