解释器
解释器是能够执行用其他计算机语言编写的程序的系统软件，它是一种翻译程序。它的执行方式是一边翻译一边执行，因此其执行效率一般偏低，但是解释器的实现较为简单，而且编写源程序的高级语言可以使用更加灵活和富于表现力的语法。
执行方式[ ]
Python、TCL和各种Shell程序一般而言是使用解释器执行的。微软公司的Qbasic语言也是解释方式，它不能生成可执行程序（但Quick Basic和Visual Basic可以)；运用广泛的网络编程语言java则同时有解释和编译方式。
在开始之前有必要再次强调：下面介绍的解释器是一个源代码解释器。也就是说，解释器在执行时，每次读入一条语句，并且根据这条语句执行特定的操作；然后再读入下一条语句，依次类推。这与伪代码解释器是有所区别的，例如早期的Java运行时系统。两者的区别在于：源代码解释器直接对程序的源代码解释执行；而伪代码解释器先将程序的源代码转化为某种与机器无关的中间代码，然后再执行中间代码。相比之下，源代码解释器更易于创建，并且不需要一个独立的编译过程。
编译器和解释器[ ]
解释器运行程序的方法有：
1.直接运行高级编程语言 （如 Shell 自带的解释器）
2.转换高级编程语言码到一些有效率的字节码 (Bytecode)，并运行这些字节码 3.以解释器包含的编译器对高级语言编译，并指示处理器运行编译后的程序 (例如: JIT) Perl，Python，MATLAB，与Ruby 是属于第二种方法，而 UCSD Pascal则是属于第三种方式。在转译的过程中，这组高级语言所写成的程序仍然维持在源代码的格式（或某种中继语言的格式），而程序本身所指涉的动作或行为则由解释器来表现。
使用解释器来运行程序会比直接运行编译过的机器码来得慢，但是相对的这个直译的行为会比编译再运行来得快。这在程序开发的雏型化阶段和只是撰写试验性的代码时尤其来得重要，因为这个“编辑-直译-除错”的循环通常比“编辑-编译-运行-除错”的循环来得省时许多。
在解释器上运行程序比直接运行编译过的代码来得慢，是因为解释器每次都必须去分析并转译它所运行到的程序行，而编译过的程序就只是直接运行。这个在运行时的分析被称为"直译式的成本"。在解释器中，变量的访问也是比较慢的，因为每次要访问变量的时候它都必须找出该变量实际存储的位置，而不像编译过的程序在编译的时候就决定好了变量的位置了。 在使用解释器来达到较快的开发速度和使用编译器来达到较快的运行进度之间是有许多妥协的。有些系统(例如有一些LISP)允许直译和编译的代码互相调用并共享变量。这意味着一旦一个子程序在解释器中被测试并除错过之后，它就可以被编译以获得较快的运行进度。许多解释器并不像其名称所说的那样运行原始代码，反而是把原始代码转换成更压缩的内部格式。举例来说，有些BASIC的解释器会把keywords取代成可以用来在jump table中找出相对应指令的单一byte符号。解释器也可以使用如同编译器一般的文字分析器（lexical analyzer）和语法分析器（parser）然后再转译产生出来的抽象语法树（abstract syntax tree）。
可携性佳，直译式程序相较于编译式程序有较佳的可携性，可以容易的在不同软硬件平台上运行。而编译式程序经过编译后的程序则只限定于运行在开发环境平台。
==字节码解释器==
考量程序运行之前所需要分析的时间，存在了一个介于直译与编译之间的可能性。例如，用Emacs Lisp所撰写的源代码会被编译成一种高度压缩且优化的另一种 Lisp 源代码格式，这就是一种字节码（bytecode），而它并不是机器码（因此不会被绑死在特定的硬件上）。这个"编译过的"码之后会被字节码直译器（使用C写成的）转译。在这种情况下，这个"编译过的"码可以被说成是虚拟机（不是真的硬件，而是一种字节码解释器）的机器码。这个方式被用在 Open Firmware 系统所使用的 Forth 代码中: 原始程序将会被编译成 "F code" （一种字节码），然后被一个特定平台的虚拟机直译和运行。