깔끔한 답변 고맙습니다. 그러나 심정적(?)으로 비결정성이 언어적 확장성없이 Machine의 time efficiency에만 영향을 미친다는 것이 좀 납득하기 어려운(?) 것 같습니다. 현재 가장 일반적인 expression power가 가장 큰 turing macine에서는 비결정성이 언어적 확장성을 유도하지 못했지만 만약 turing machine을 포함하는 새로운 machine이 정의될 수 있다면 비결정성이 인식가능언어의 확장에 영향을 미칠 수 있겠습니까 ?(FA에서는 아니었지만 PDA에서는 비결정성이 영향을 미친것 처럼) 아니면, 비결정성이 turing machine보다 큰 machine에서 언어의 확장을 유도할 수 없다라는 것이 증명되 있나요 ? 제가 비결정성이라는 놈에 대해서 overestimate했을지도 모르겠구요. ^^; ---------------------------------------------------------------------------- A : 뭘 그렇게 생각하니 ? 어떤꽃인지아직도보지못했다. 정근 : 나 ... 난 말이지, 난, 나는 ... 봄에만살짝피었다지는꽃. *** 수선화 애인 *** 어떤꽃일까 ? ----------------------------------------------------------------------------