Los lenguajes unarios formales son caracterizados por sistemas de ecuaciones de lenguaje de la forma general: