Knuth从他主要的工作计划中拿出了十年，即从1976年起，致力于对数字排版的研究，设计了著名的文件准备TeX系统，字体生成程序METAFONT。这项工作带来的值得注意的副产品是用于结构文件和“文章性程式语言”附随方法论的WEB和CWEB语言。

　　现在，Knuth和他的妻子Jill，两个孩子John 和Jennifer一起，住在斯坦福大学校园里。他继续着《计算机程序设计艺术》第四卷的编写工作。虽然说Knuth是全身心的投入这一项工作，但他还是能挤出时间研究MMIX的设计，那是一台64位RISC（精简指令集计算机）。而他的业余爱好仍然是音乐，还一直邀请那些能够即兴演奏四手联弹钢琴曲的人们给他留下便条，以便安排一些活动。

　　成就简要回顾

　　编译程序

　　编译程序能够实现高级语言和二进制机器语言之间的翻译。二十世纪六十年代初期，Knuth教授致力于这方面的研究，虽然现代的软件已经可以使其变的简单一些，但编写编译程序仍被认为是一项极为困难的工作。Knuth教授在这方面最著名的成就是LR(k)分析的研究，那是一个能使确定一串字符文法规则的过程更加顺畅的值得注目的方法。

　　属性文法

　　在编译程序的工作之后，Knuth教授走上了形式上定义程序语言意义、语义的研究道路。他建立起一个更加经济的方法去通译联合规则，他把这种方法称作“属性规则”。该方法创立的同时，计算机科学的子域被称作“属性文法”。

　　算法

　　也许Knuth教授在计算机科学领域最原创的贡献就是他对于算法的分析。算法是编写一个程序，使之能去完成一项任务的基础，例如搜索或分类等。在加利福尼亚理工学院时，Knuth教授在一个毕业生的协作下，开发了用来探究数学公理推论的Knuth-Bendix算法。1968年，Knuth教授在斯坦福，和他的一个学生开发了Knuth-Morris-Pratt算法，该法则使计算机在文章中搜索一串字符的过程更加连贯。他所著的《计算机程序设计艺术》是一个详尽的算法实践和科学的概观。

　　数字化排版

　　“数学书籍和杂志已经不像从前那样漂亮了。”Knuth教授在一篇早期关于数学排版的文章中这样写道。由于对计算机排版的校样的低质量感到无法忍受， Knuth教授从他史诗性的七卷集巨著的编写过程中拿出了十年时间，来开发一个高质量的计算机排版系统。其间，Knuth开发了两个用于文件排版和字体生成的软件系统，这两个系统现在已被世界大多数出版社运用。它们分别是TeX，用于出版业的科学排版，和“优美文章”的产品；METAFONT，一个字体生成程序。

　　结构化文件和文章性程式语言