formal derivation of huffman algorithm program

Authors
Publication date
1 January 2010
Publisher

Abstract

使用PAR方法形式化推导了解决最优编码问题的Huffman算法。推导过程充分利用最优编码树的特性,在对原问题进行分划归约为子问题时,引入一个新元素来取代原来的2个或多个元素,使用一套接近数学语言的抽象记号表示集合、二叉树等,推导过程简洁且能生成正确的算法。该Huffman算法能在PAR平台上通过自动生成系统转换成可执行语言程序,并正常运行

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Institute Of Software, Chinese Academy Of Sciences

    redirect
    oaioai:ir.iscas.ac.cn:311060/9718
    Last time updated on 30/12/2017