就是一个米里型状态-如何仿真ip核(建立modelsim仿真库完整解析

果次态仅是当前状态的函数，则称为摩尔型有限状态机。如图10.12所示的就是一个米里型状态机。应该指出，编码器和马氏源都可以用有限状态机描述，但两者的差别在于，编码器有输入而马氏源是一个无输入的自动机。有约束序列的编码器可以用标号图来表示，每条边的标号就是编码码字。如果给每条边再分配不同的输入标号（信源字），就会得到编码器的标号图。从给定的初始状态开始，沿着输入信源字序列所决定的路径就可以确定相应状态和输出码字序列，这就是编码过程。

修正调频码的编码器的标号图，信源符号为0和1，编码器码率为1/2，有两个状态，每条边上表明信源字和码字的对应关系。所谓延迟码，也是她在1963年申请专利的，堪称经典！有约束信道编码定理与有噪声信道类似，有约束信道编码的容量也是所容许的信息传输速率的最大值。

香农在1948年提出了如下离散无噪声信道编码定理。定理10.4设一信源具有熵（比特/符号），一信道具有容量，那么将信源编码后以符号/秒的平均速率通过信道实现无差错传输是可能的，其中误差可以任意小，而以大于信道容量的平均速率的无差错传输是不可能的。香农的证明是非构造性的，即定理仅指出编码的存在，但并未给出编码的具体方法，而且证明中要求信源序列足够长。

几十年来，信息论的研究者们，特别是在20世纪80年代，由林迅红和吴承恩提出的状态分裂算法，为一类有限类型约束给出了编码定理的构造性证明，从而解决了有约束信道编码很多基本的设计问题，将有约束编码的研究提升到一个新的理论层次。有限状态编码定理定理10.5设一个有约束系统，广为一正整数，如果则存在着码率为有限状态编码器，容量。该定理在以下方面改进了香农的结果：根据状态分裂算法，给出了定理构造性的证明；当容量为有理数时，存在码率等于信道容量的编码；对于满足不等式的任何正整数，都存在码率为的编码器。

想了解更多香农定理和信道编码的信息？可以查看信息论课件香农定理信道编码或什么是香农定理(Shannon定理)。还有一些实用的资源，比如香农采样定理原文和香农编码定理C程序，让你更深入地理解这些概念。