Recognizable set

In computer science, more precisely in automata theory, a recognizable set is a class of subset of monoid that are usefull in automata theory, formal language and algebra.

This notion is different of the notion of recognizable language. Indeed, the term "recognizable" has a different in computability theory.

Definition

Let $N$ be a monoid, a submonoid $S\subseteq N$ is recognizable if there exists a morphism $\phi$ from $N$ to a finite monoid $M$ such that $S=\phi ^{-1}(\phi (S))$. This means that there exists a subset $T$ of $M$ - that doesn't need to be a submonoid of $M$ - such that the image of $S$ is in $T$ and that the image of $N/S$ is in $M/T$.

Example

Let $A$ be an alphabet (computer science), the set $A^{*}$of words over $A$ is a monoid. The recognizable subset of $A^{*}$ are precisely the regular language. Indeed this language is recognised by the transition monoid of the automata that recognize the language.

The recognizable subset of $\mathbb {N}$ are the ultimately periodic set of integers.

Property

The set $REC(N)$ of recognizable subset of $N$ is closed under:

• union
• intersection
• complement
• right and left quotient

McKnight theorem states that if $N$ is finitely generated then its recognizable subset are rational subset.

The intersection of a rational subset and of a recongisable subset is rational.

References

• Straubing, Howard (1994). Finite automata, formal logic, and circuit complexity. Progress in Theoretical Computer Science. Basel: Birkhäuser. p. 79. ISBN 3-7643-3719-2. Zbl 0816.68086.
• [Mathematical Foundations of Automata Theory]