乔夫 swMATH ID: 40708 软件作者： 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha） 描述： 朱庇特自动化和可计算性笔记本。自动化和可计算性。程序员的观点。《自动机和可计算性》是一本经过类测试的教科书，它为自动机和计算理论提供了一个全面且容易理解的介绍。作者使用插图、引人入胜的例子和历史评论来使材料有趣并与学生相关。它融合了现代/便捷的思想，例如基于派生的解析和显示Lambda演算通用性的Lambda减缩器。这本书还展示了如何通过一个简单的命令接口使常规语言转换管道可用来塑造自动机。Jupyter笔记本将随书附上功能代码、YouTube视频和其他补充资料，以帮助教师和学生。 主页： https://www.cs.utah.edu/~ganesh/Jove.html 源代码： https://github.com/ganeshutah/Jove 关键词： 形式语言；自动机；可判定性；算法复杂性 相关软件： 朱庇特；蟒蛇 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 自动化和可计算性。程序员的观点。 Zbl 1478.68004号戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha） 2019 由1位作者引用 1 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha） 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文