#include <stdio.h>

int main(void)
{
 int blank_cnt=0,c,digit_cnt=0,
  letter_cnt=0,nl_cnt=0,other_cnt=0;
 while((c=getchar())!=EOF)
  if(c==\' \')
   ++blank_cnt;
  else if(c>=\'a\'&&c<=\'z\'||c>=\'A\'&&c<=\'Z\')
   ++letter_cnt;
  else if(c==\'\\n\')
   ++nl_cnt;
  else
   ++other_cnt;
  printf("%10s%10s%10s%10s%10s%10s\\n\\n",
   "blanks","digits","letters","lines","others","total");
   printf("%10d%10d%10d%10d%10d%10d\\n\\n",
   blank_cnt, digit_cnt,letter_cnt,nl_cnt,other_cnt,
   blank_cnt+digit_cnt+letter_cnt+nl_cnt+other_cnt);
  return 0;
}

코드 내용은 보시다시피 빈칸, 문자(영어), 숫자,엔터친거,기타다른거 가 입력된 횟수를 맨 끝에 출력해주는 건데요.
근데 코드 위에 보면 EOF(end of file, 파일의 끝)일 때 종료된다고 나와있는데 윈도우에는 파일의 끝이 없잖아요? 그럼 언제끝나는 거죠??