Symbolic Encoding of LL(1) Parsing and Its Applications

Published in Formal Methods in System Design, 2023