The algorithmic problem of whether a compressed string is accepted by a (nondeterministic) finite state automaton with compressed transition labels is investigated. For string compression, straight-line programs (SLPs), i.e., contextfree grammars that generate exactly one string, are used. Two algorithms for this problem are presented. The first one works in polynomial time, if all transition l...
