|
|
|
|
|
by ukj
1821 days ago
|
|
Then you have some formally inexpressible/impredicative notion of "validation" in mind. For posterity (lifting from the depths of the threads): General case: Validating random data as input into some program. Particular case: Validating random source code (data) as input into some compiler (program). Do compilers parse or validate? > "the converse of ‘parsing is validation’ is not true." If that were the case then you should be able to give an example of a compiler validating random source code (data) but not parsing it. What determines the validity of random input is precisely a compiler's ability to parse it. |
|