derrick9850 derrick9850 14-05-2023 Mathematics contestada 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