Can there be an NFA that decides on real numbers ?
Nope.
A real number can have an infinite number of digits behind the decimal point. There may not be a system in those digits (i.e., they may be generated by a random process). In that case there cannot be a description of this sequence of digits that is significantly shorter than the sequence itself.
Now take such a real number r. Since any NFA has only a finite number of states and can be described finitely, it will be inadequate to accept only the real number r (for otherwise that would contradict the fact that there cannot be a finite description of r).
No, there can not. A nondeterministic finite automaton accepts a string of characters as input. The set of all strings is countable, and hence smaller than the set of real numbers. Therefore, you cannot even encode an arbitrary real number as input to the NFA.
I am somewhat confused by the answers here. If we forget the real numbers for a second and just concentrate on the fractions (represented as decimal expansions), can we decide on 1/3? This input has infinite length and you can't know it's 1/3 until you finish. (It might have a 4 in some far off decimal place - although this number should also be accepted if 1/3 is accepted.)
An NFA must have a finite alphabet (in this case 0-9 and '.'). It also has a start state (no problem). It has a FINITE set of states and a FINITE set of accept states (which is a subset of the total states.)
Now it seems that the NFA won't halt for any infinitely repeating decimal (like 1/3). So it would seem that the decidability of the reals would be the same as the decidability of the rationals. I don't think that you need to point to uncountable reals in order to solve this.
Is my reasoning correct?