감사합니다. 제가 회로의 behavior에만 시각을 고정하여 생각하므로써 임의의 회로가가지는 behavior를 단순히 기능, 즉 함수로 생각한것 같습니다. 게스트님의 말씀대로 함수는 deterministic하며 Turing Computable function은 이와 같이 deterministic한 함수에만 적용되는 이야기 이므로 non-determinism은 Turing Computable function과는 무관하겠군요. 그렇다면 halting function이 일반적으로 Turing Computable function과 가지는 차이는 어떤것입니까 ? 그 특성을 기술하는 것이 가능한가요 ? 감사합니다. ---------------------------------------------------------------------------- A : 뭘 그렇게 생각하니 ? 어떤꽃인지아직도보지못했다. 정근 : 나 ... 난 말이지, 난, 나는 ... 봄에만살짝피었다지는꽃. *** 수선화 애인 *** 어떤꽃일까 ? ----------------------------------------------------------------------------