ทฤษฎีการคำนวณ : รูปแบบการคำนวณและทฤษฎีที่เกี่ยวข้อง