Some of the equivalences above, particularly those among the first four formalisms, are called Kleene's theorem in textbooks.
Κάποιες από τις παραπάνω ισοδυναμίες, ιδιαίτερα ανάμεσα στις τέσσερις πρώτες, στη βιβλιογραφία αναφέρονται ως θεώρημα του Kleene.