You can figure out whether an algorithm halts or not without being accidentally stuck in an infinite loop.
In special cases, not in the general case.
In special cases, not in the general case.