TY - BOOK AU - Yan Song Y TI - An introduction to formal languages and machine computations SN - 981-02-3422-8 PY - 1998/// CY - Singapore PB - World Scientific KW - formal language ER -