In the name of ALLAH, the most beneficient, the most merciful

Theory of Automata (CS402)

Question (select most suitable option)

  A problem that has decision procedure is called ________ problem.
decidable
infinite
un-decidable
Regular language