Effective method
（重定向自Effective calculability）
In logic, mathematics and computer science, especially metalogic and computability theory, an effective method or effective procedure is a procedure for solving a problem from a specific class. An effective method is sometimes also called mechanical method or procedure.