《形式语言,自动机理论与计算导论》用简洁清晰的方式阐述了相关理论概念，并深入涵盖了形式文法及基本的自动机类型。同时对该领域的当前研究趋势进行了相关概述。《形式语言,自动机理论与计算导论》概括了本学科的广泛应用以及关于计算方面的基本定理和原理，对计算机科学与信息技术的本科课程教学具有一定价值。《形式语言,自动机理论与计算导论》特点运用大量例题来帮助读者理解概念要点通过图灵机详尽阐述了可计算性和可判定性问题提出一些有助于学生进行深入研究的形式语言前沿问题及最新的计算模型设计多项选择题以帮助学生理解基础理论。

作者：(印度)卡马拉(Kamala Krithivasan) (印度)拉玛(Rama R) 译者：孟宇龙 李健利 王宇华 合著者：冯晓宁
卡马拉，Kamala Krithivasan，马德拉斯大学博士，1975年进入印度理工学院马德拉斯分校( IIMT)参加工作。计算机科学与工程学院教授，1992-1995年担任院长，在IIMT有着30余年的教学和研究经验。她的研究方向包括形式语言理论、非传统模型计算(如DNA计算)、膜计算以及离散分层计算等。Kamala教授是1986年福尔布莱特学术奖金的获得者，同时还是印度国家工程学会的会员。
Rama R，1989年在安娜大学获得博士学位。进入印度理工学院马德拉斯分校(IIMT)担任副教授之前，
曾在安娜大学工程学院任教。2006年晋职为教授并任教至今。Rama教授拥有20余年的教学和研究经验，并且指导过四位研究生的博士论文。她的研究领域是形式语言与自动机和自然计算。同时，她也是印度工业教育学会的终身会员。