我认为这是一个相当模糊的问题;只是因为这个话题涉及的深度。然而，编译器可以被分解成两个独立的部分;上半身和下半身。上半部分通常采用源语言并将其转换为中间表示，下半部分负责特定于平台的代码生成。

尽管如此，解决这个问题的一个简单方法(至少是我们在编译器类中使用的方法)是在上面描述的两部分中构建编译器。具体来说，通过构建上半部分，您将对整个过程有一个很好的了解。

Just doing the top half lets you get the experience of writing the lexical analyzer and the parser and go to generating some "code" (that intermediate representation I mentioned). So it will take your source program and convert it to another representation and do some optimization (if you want), which is the heart of a compiler. The bottom half will then take that intermediate representation and generate the bytes needed to run the program on a specific architecture. For example, the the bottom half will take your intermediate representation and generate a PE executable.

关于这个主题的一些书，我发现特别有用的是编译器原理和技术(或者龙书，因为封面上有可爱的龙)。它有一些很棒的理论，而且肯定以一种非常容易理解的方式涵盖了上下文无关语法。此外，为了构建词法分析器和解析器，您可能会使用*nix工具lex和yacc。而且很无趣的是，这本名为《莱科斯和雅克》的书继承了《龙之书》这部分的内容。

你可能想看看Lex/Yacc(或Flex/Bison，随便你怎么称呼它们)。Flex是一个词法分析器，它将解析和识别语言的语义组件(“标记”)，而Bison将用于定义解析每个标记时发生的情况。这可以是，但绝对不限于，打印出C代码，供编译器编译成C，或者动态运行指令。

这个常见问题应该对你有帮助，这个教程看起来很有用。

龙之书绝对是关于“构建编译器”的书，但是如果您的语言不像当前这一代语言那么复杂，那么您可能想看看设计模式中的解释器模式。

书中的示例设计了一种类似正则表达式的语言，并且经过了深思熟虑，但正如书中所述，它有助于思考整个过程，但实际上只在小型语言上有效。然而，用这种模式为一种小型语言编写解释器要快得多，而不必学习所有不同类型的解析器，yacc和lex等等……

如果您不仅仅是在寻找书籍，而且还对有关于该主题的文章的网站感兴趣，我已经在博客中讨论了创建编程语言的各个方面。大部分文章都可以在我博客的“语言设计”类别中找到。

特别是，我介绍了手动生成Intel机器代码、自动生成机器码或字节码、创建字节码解释器、编写面向对象的运行时、创建简单的加载器以及编写简单的标记/清除垃圾收集器。所有这些都是非常实用和务实的方式，而不是用大量的理论让你感到无聊。

将感激反馈这些。

如果你没有时间，我推荐Niklaus Wirth的“编译器构造”(Addison-Wesley)。1996年)，一本你一天就能读完的小册子，但它解释了基础知识(包括如何实现词法分析器、递归下降解析器和你自己的基于堆栈的虚拟机)。在那之后，如果你想深入了解，就像其他评论者建议的那样，没有办法绕过龙的书。

抱歉，这是西班牙文，但这是阿根廷一门名为“Compiladores e Intérpretes”(编译器和口译员)的课程的参考书目。

这门课程从形式化语言理论到编译器构造，这些是你至少构建一个简单的编译器所需要的主题:

Compilers Design in C. Allen I. Holub Prentice-Hall. 1990. Compiladores. Teoría y Construcción. Sanchís Llorca, F.J. , Galán Pascual, C. Editorial Paraninfo. 1988. Compiler Construction. Niklaus Wirth Addison-Wesley. 1996. Lenguajes, Gramáticas y Autómatas. Un enfoque práctico. Pedro Isasi Viñuela, Paloma Martínez Fernández, Daniel Borrajo Millán. Addison-Wesley Iberoamericana (España). 1997. The art of compiler design. Theory and practice. Thomas Pittman, James Peters. Prentice-Hall. 1992. Object-Oriented Compiler Construction. Jim Holmes. Prentice Hall, Englewood Cliffs, N.J. 1995 Compiladores. Conceptos Fundamentales. B. Teufel, S. Schmidt, T. Teufel. Addison-Wesley Iberoamericana. 1995. Introduction to Automata Theory, Languages, and Computation. John E. Hopcroft. Jeffref D. Ullman. Addison-Wesley. 1979. Introduction to formal languages. György E. Révész. Mc Graw Hill. 1983. Parsing Techniques. A Practical Guide. Dick Grune, Ceriel Jacobs. Impreso por los autores. 1995 http://www.cs.vu.nl/~dick/PTAPG.html Yacc: Yet Another Compiler-Compiler. Stephen C. Johnson Computing Science Technical Report Nº 32, 1975. Bell Laboratories. Murray Hill, New Jersey. Lex: A Lexical Analyzer Generator. M. E. Lesk, E. Schmidt. Computing Science Technical Report Nº 39, 1975. Bell Laboratories. Murray Hill, New Jersey. lex & yacc. John R. Levine, Tony Mason, Doug Brown. O’Reilly & Associates. 1995. Elements of the theory of computation. Harry R. Lewis, Christos H. Papadimitriou. Segunda Edición. Prentice Hall. 1998. Un Algoritmo Eficiente para la Construcción del Grafo de Dependencia de Control. Salvador V. Cavadini. Trabajo Final de Grado para obtener el Título de Ingeniero en Computación. Facultad de Matemática Aplicada. U.C.S.E. 2001.