* El conjunto de todas las palabras sobre \{a, b\}\,.
* El conjunto \{ a^n : n\}\, es un número primo.
* El conjunto de todos los programas sintácticamente válidos en un determinado lenguaje de programación.
* El conjunto de sentencias bien formadas en lógica de predicados.