collaborators

1 paper

cs.FL2022

Formal Languages via Theories over Strings

Joel D. Day, Vijay Ganesh, Nathan Grewal +1

We investigate the properties of formal languages expressible in terms of formulas over quantifier-free theories of word equations, arithmetic over length constraints, and language…