|
|
|
|
|
|
by void_one
1577 days ago
|
|
|
It is a good point that behave_differently.sh does not necessary run its argument program, but can analyze it in another way. (The context of Bash scripts suggests execution but that is a misleading hint.) In the broader formulation behave_differently.sh tells that its argument program terminates and produces finite input, which is a halting problem. |
|
|