本書是一本關於計算語言學的專著。全書包括A、B、C、D、E五篇：A篇講述集合論，B篇講述邏輯和形式系統，C篇講述抽象代數，D篇講述作為形式語言的英語，E篇講述形式語言、形式語法和自動機，讀者可以從中瞭...
