Mine

#include <stdio.h>

main()
{
 int ch;
 ch= getchar();

 while( ch != EOF )
      { while( ch==' ' ||ch=='\n' ||ch=='\t' );
              putchar(' ');
        while( ch==' ' );
        if( ch=='.' ||ch=='!' ||ch==',' ||ch=='?' ||ch==';' )
           ch= ch + (' ');
           putchar(ch);
 return 0;
}