Rice's Theorem is interesting. It states that only trivial properties of programs are decidable.
|
1 | [made Community Wiki] | ||
|
|
||||
|
|
1 | [made Community Wiki] | ||
|
Rice's Theorem is interesting. It states that only trivial properties of programs are decidable. |
||||
