F#语言及其在自动机理论中的应用

本书在讲述函数式编程语言F#基础知识的基础之上，详细介绍利用F#解决DFA，NFA、-NFA的描述和互相转化问题，DFA、正则表达式和正则表达式、-NFA之间的转化问题，下推自动机的瞬时描述问题，对确定性图灵机也做了相关的描述和模拟，目的是展示解决方法的多样性。