El matemático Stephen Kleene describió estos modelos usando su propia notación matemática llamada conjuntos regulares.