there is no algorithm to decide whether a given program p that implements a finite automaton terminates on input w when p and w are both provided as input