的。它们的作用是根据若干用户定义的规则转换语法树。对于某些程序语言，这些规则是使用同一种语言来写的（compile-time reflection）。这就是Lisp和OCaml的情况。某些程式语言依靠一个完全的外部语言来定义转换，例如XSLT处理器处理XML的方式，或与静态类型的对应语言CDuse。静态处理器常被用来自定程式语言的语法，并透过增加新的primitives或嵌入特定领域语言（）到一般用途的语言里来扩充。
自定义语法.关于自定义语法的一个好例子是在OCaml程式语言