Pairing-Funktion

Eine Pairing-Funktion ist eine injektive, berechenbare Funktion $c:\mathbb{N}\times \mathbb{N}\to \mathbb{N}$, die zwei natürliche Zahlen eindeutig auf eine einzige natürliche Zahl abbildet. Sie besitzt berechenbare Umkehrfunktionen (first und second). Sie wird verwendet, um unbeschränkte Datenstrukturen (wie einen Stack) in einer einzigen Variablen zu kodieren.