> that this problem cannot be solved in the general case. They are not solving it for the general case. They are solving it for many specific cases. Presente

> that this problem cannot be solved in the general case. They are not solving it for the general case. They are solving it for many specific cases. Presented with a system, there is no guarantee that this will be possible - there can't be, that's what the Halting Problem says. But there is also no guarantee that it will be impossible for the particular system under consideration - that is not what the Halting Problem says.