On the role of complementation in implicit language equations and relations
作者：
Highlights：
• We solve systems of implicit equations and relations with union and complementation.If the languages are regular, we determine whether the system has solutions.If there is a solution, we provide an effective construction of a regular solution.We give complete representations for maximal and minimal solutions.We determine whether the solution is unique or infinitely many solutions exist.
摘要
We solve systems of implicit equations and relations with union and complementation.If the languages are regular, we determine whether the system has solutions.If there is a solution, we provide an effective construction of a regular solution.We give complete representations for maximal and minimal solutions.We determine whether the solution is unique or infinitely many solutions exist.
论文关键词：Languages,Equations,Relations,Implicit,Complementation
论文评审过程：Received 2 July 2001, Accepted 5 September 2013, Available online 11 September 2013.
论文官网地址：https://doi.org/10.1016/j.jcss.2013.09.001
