MSO-Enumeration Over SLP-Compressed Unranked Forests

Markus Lohrey, Markus L. Schmid

We study the problem of enumerating the answers to a query formulated in monadic second order logic (MSO) over an unranked forest F that is compressed by a straight-line program (S…