大致扫了一下好像没啥特殊的东西，基本就是普通的手写编译，大概有几个过程

lex

输入是代码文本 a = 3 + b;

输出是一串token，比如

 <ID: a>
<OP: =>
<NumberLiteral: 3>
<OP: +>
<ID: b>
<SYM: ;>

parse

拿着lex输出的那串token规约为所谓的AST（抽象语法树）

比如

 赋值BEGIN
  左值：变量a
  右值：
    算数表达式BEGIN
        操作符：+
        左值：常数3
        右值：变量b
    算数表达式END
赋值END

esprima的话应该是到此为止，如果是所谓编译器的话，接着就会把这串AST转换为目标代码了

注意点

如果你觉得上面我说的不是废话，那很可能是因为你没学过或者忘光了编译原理，那么esprima这种lex和parse同时进行而且都是纯手写的可能看起来会相当吃力。lex和parse两个独立的过程都涉及各种状态机，文法，什么什么的一堆堆的东西，混在一起如果没有相关经验的话我觉得有困难很正常，建议从编译原理看起

任何编译器解释器都逃不开这些基础的编译原理，只不过后来会有越来越(kan)牛(bu)逼(dong)的优化和演变而已。