(1) Một tập hữu hạn các quy tắc cũng xác định cho các giải pháp của một vấn đề trong một số hữu hạn các bước; Ví dụ, một đặc điểm kỹ thuật đầy đủ của một chuỗi các hoạt động số học để đánh giá Sin x để một precision.~(2) cho bất kỳ chuỗi các hoạt động để thực hiện một nhiệm vụ cụ thể.