Computer Science

封装让事情变的简单，封装隐藏了底层的复杂细节，对上层提供简单的接口。具体来说，整个计算机世界都建立在封装之上，将电路封装为逻辑门，将逻辑门封装成功能模块，将机器指令封装为汇编语言，将汇编语言封装为高级语言。

抽象使得编写一个大型程序成为可能，如果一个部分的代码显得太多，可以将其划分为小而且容易理解的部分。

计算机可被抽象为近似确定性状态机。在理想情况下（单线程、无外部干扰），其状态由 CPU 指令逐条决定，这为虚拟化和调试工具提供了理论基础。通过截获指令流和模拟状态转移，创建隔离的虚拟环境（如虚拟机），通过记录状态历史，允许回退到任意执行点。（如GDB）