La Star di Kleene (simbolo dell’operazione di costruzione del monoide libero) indica l’operazione applicata a un insieme di stringhe , ripetuta all’infinito, di creare un insieme che contiene tutte le possibili concatenazioni delle stringhe in con loro stesse, a cui va aggiunta la stringa vuota.
Se , allora e , cioè l’insieme di tutte le stringhe binarie, più la stringa vuota.