BackwardNondeterministicDawgMatchingalgorithm