directed acyclic word graphs