Skip to content
scrambled
Programming Language Theory Concept

Decision procedure

JourneyProgramming Language Theory Statuslearning Tags
  • computation theory
  • data structure algorithm
  • logic

An algorithm that always terminates and correctly answers yes/no for any instance of a given problem class (like propositional satisfiability or type equivalence).

An algorithm that always terminates and correctly answers yes/no for any instance of a given problem class (like propositional satisfiability or type equivalence).