Complement (computer languages)/Definition

A term used in Regular Language to describe sets of closed languages, which can be accepted by a finite automaton, neeting the criterion $$\bar{A} = \{x \in \Sigma^* ~|~ x \not\in A\}$$