Huffman算法程序的形式化推导

摘要：

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

关键词：PAR方法、形式化推导、最优编码、Huffman算法

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

资助基金：科技部国际合作基金资助项目2008DFA11940;国家自然科学基金资助项目60773054;江西省教育厅青年科学基金资助项目GJJ09461

在线出版日期：2010-05-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：49-51