0
3.2kviews
Short note on Rice's Theorem ( Need Review )
1 Answer
written 5.6 years ago by |
Computability theory, Rice's theorem states that all non-trivial, semantic properties of programs are undecidable. A semantic property is one about the program's behavior (for instance, does the program terminate for all inputs), unlike a syntactic property (for instance, does the program contain an if-then-else statement). A property is non-trivial if …