计算机科学的大部分研究是基于“（）”和“（）”的，它们是绝大多数实际机器的计算模型。