Consider a case of non-deterministic outputs as in Equation 16, where \(\pi_{1},\pi_{2},\ldots\) are functions from \(\mathbb{N}_{*}\) to \(\mathbb{N}_{*}\).
비결정적 출력의 경우를 고려해보자. 이는 방정식 16과 같이 \(\pi_{1},\pi_{2},\ldots\)가 \(\mathbb{N}_{*}\)에서 \(\mathbb{N}_{*}\)로의 함수인 경우이다.
방정식 16과 같이 비결정론적 출력의 경우를 생각해 보겠습니다. 여기서 \(\pi_{1},\pi_{2},\ldots\)는 \(\mathbb{N}_{*}\)에서 \(\mathbb{N}_{*}\)로의 함수입니다.