嵌入式计算技术 吴 超 2019-03-09计算，是与数学模型构建、定量分析以及解决科学问题相关。在实际应用 中，对问题进行计算机模拟和其他形式的分析。 有限状态机理论图灵机 图灵机是由一条两端可无限延长的带子、一个读写头以及一组控制读写头 工作的命令组成。图灵机的带子被划分为一系列均匀的方格，读写头可以 沿带子方向左右移动，并可以在每个方格上进行读写。 一条无限长的纸带TAPE 一个读写头HEAD 一套控制规则TABLE 一个状态寄存器可计算性理论 可计算性是指某个数学问题是否可以用计算机在有限步骤内彻底解决。 1. 判定问题Decision Problem。判定问题就是回答是或否的问题。 2. 功能问题Function Problem。比如关于一个自然数的因数个数，或者地 图导航到某地最近路线是哪条，答案就需要一个数字或一条路径才行。 在可计算性理论中，算法主要用于计算函数和判定谓词。计算平台 计算平台是指计算机系统硬件与软件的设计和开发的基础，具有一定的标准性和公开性，同时也 决定了该计算机系统的硬件与软件的性能。 产品层面而言，计算平台就是指电脑、手机、平板这些智能设备。手机、
