《編譯原理》在第二章中給出了一個翻譯表示式的例子（從中綴表示式到字尾表示式）。總結了如下內容：
1. 寫出描述語法規則的產生式（文法包含產生式集合與符號集合）
2. 根據文法建立對應語句的語法分析樹
3. 消除語言的二義性
4. 運算子的結合性以及優先順序
5. 通過向文法的產生式附加屬性和翻譯方案得到翻譯結果

NC程式碼的文法屬於上下文無關文法，構造簡單（加之最近畢設要做相關內容），因此用NC程式編譯器來作為學習語法制導的例子。
一條NC指令的結構如下：
N.. G.. X±..Y±..Z±…..M..S..T..F..;
其中NXXX為指令編號，如N001。GXXX為G程式碼編號。XYZ為尺寸字，如X100代表x軸正移至100，Y-50代表y軸負向移位至50。M為M程式碼編號，S為主軸速度功能字，T為刀具功能字，F為進給功能字。
乍一看很麻煩，其實只是指令字的類別繁雜。

NC文法產生式如下：
stmt ->N id code ;
id-> num | num id
num -> 0|1|2|3|4|5|6|7|8|9
code -> G X Y Z M S T F
G -> ε | G id
X -> ε | X char id
Y -> ε | Y char id
Z -> ε | Z char id
M -> ε | M id
S -> ε | S id
T -> ε | T id
F -> ε | F id
char -> ε | +

其中斜體代表非終結符，黑體代表終結符。

對於任意一句指令，可建立語法分析樹。例如：
N001 G01 X100 Z-30 S300 T01 F2;
對應的語法分析樹為（省略部分遞推）：

注意，這裡的產生式隱含著這樣一個規則：MSTF是按順序的，即不會出現F指令在T前的情況，但實際上是有這樣的程式碼的，在這個文法體系中，是屬於錯誤的。

目前的內容只是對指令語句進行語法分析，並不能得到結果。要得到結果，需要向產生式附加一些規則或者程式片段，即給出對應語句的語義。
例如：
產生式：
stmt ->N id code ;
語義規則：
編號為id的程式碼，指令為code.t。其中code.t代表code的語義。根據翻譯需求，這裡的語義可以是翻譯為目的碼（機器語言），也可以是執行指令內容（作為直譯器）。

語法制導定義（syntax-directed definition）把每個文法符號和一個屬性集合關聯，並把每個產生式和一組語義規則相關聯，這些規則用於計算與該產生式中符號相關聯的屬性值。
屬性可以按如下方法求值：對於輸入串x，首先建立其對應的語法分析樹，假設一個結點N的標號為文法符號X，使用X.a表示該節點的屬性a的值，並稱標記了相應屬性的語法樹為註釋分析樹。對註釋分析樹中的每個結點上的值應用語義規則求出其屬性值，從子節點求起，進行深度遍歷，直到求出根結點的屬性值。[1]
這種將字串作為屬性值附在結點上的翻譯方法是用來得到目的碼。另一種無需操作字串，直接執行程式片段的方法，是用作直譯器，也可得到相同的翻譯結果。
語義動作(semantic action)是被嵌入到產生式體中的程式片段
簡化其中的無關細節，定義語義動作：
G -> ε | G id {print(“excute G %d”,id.t)}
M -> ε | M id {print(excute M%d),id.t}
……
此時的語法分析樹，將會多出一個額外的子結點，同樣是深度遍歷此樹可得到翻譯結果。

總結：這裡所用到的主要是2.1~2.3的內容，沒有涉及詞法語法分析，僅僅是描述一個簡單的手動翻譯過程：寫出產生式、構造語法樹、附加屬性值或者程式片段、遍歷樹得到結果。

注：文中除了黑體標識以及引用標識屬於書中內容之外，其他大部分為個人理解，僅供參考。