C Program Not Detecting EOF with getchar() For Unknown Reasons

Question

This is the sample code from a book I am reading

#include 

main()
{
        int c, i, nwhite, nother;
        int ndigit[10];

        nwhite