Maximal and Minimal Solutions to Language Equations

摘要

We consider equations of the type[formula],[formula],[formula],[formula], where[formula]is a binary word (language) operation,L,Rare given constant languages andX,Yare the unknowns. We investigate the existence and uniqueness of maximal and minimal solutions, properties of solutions, and the decidability of the existence of solutions.