Independent Languages and Witnesses of Dependence (Non-satisfaction)

Stavros Konstantinidis

We consider the independent language property defined by the language equation φ(X)=\emptyset, where the expression φ involves the language variable X, constant languages, and st…