| [ QuizWit ] in KIDS 글 쓴 이(By): guest (guest) <211.212.225.172> 날 짜 (Date): 2002년 7월 11일 목요일 오전 06시 19분 31초 제 목(Title): Re: Decidable language의 concatenation 0^* = {e, 0, 00, 000, 0000, ...}는 0의 갯수를 보면 자연수와 일대일 대응되고 또한 이 대응관계에 의해 concatenation은 덧셈과 대응됩니다. (이 정의에서는 자연수에 0 포함) B를 1보다 큰 홀수 전체의 집합으로 놓으면 B의 부분집합 중에는 decidable하지 않은 것이 반드시 있습니다. C라고 합시다. A를 모든 짝수의 집합과, 1과, C의 합집합으로 놓으면 원하는 답이 됩니다. |