The suffix tree of a tree and minimizing sequential transducers

From MaRDI portal
Publication:1127317