明確に定義された有限個の規則の集まりであって
有限回適用することにより問題を解くもの