[ignaloidas]

The difference is that with LBA you can determine if the program will end or not, as you can check all of the finite states it can have.