An optimal parallel algorithm for learning DFA | Publicación