grekiki

Sure but halting problem is solvable for finite state machines.

You know comma2 exists right?

As long as the product demands a user to be looking at the road(and intends to keep it like that for a while), there is no reason to spend time figuring out how to solve legal issues in case the user isn't responsible.