McKenzie8779 McKenzie8779 13-12-2022 Computers and Technology contestada there is an 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