Kleenesche Normalform

Die Kleenesche Normalform ist ein Begriff aus der Berechenbarkeitstheorie. Sie besagt, dass man jede partiell-rekursive Funktion mit Hilfe nur eines einzigen μ-Operators (While-Schleife) darstellen kann.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.