详细讲解形式语言与自动机理论的国外经典教材。