swMATH ID: 40708
Software Authors: Gopalakrishnan, Ganesh Lalitha
Description: Jove: Jupyter Notebooks for Automata and Computability. Automata and computability. A programmer’s perspective. Automata and Computability is a class-tested textbook which provides a comprehensive and accessible introduction to the theory of automata and computation. The author uses illustrations, engaging examples, and historical remarks to make the material interesting and relevant for students. It incorporates modern/handy ideas, such as derivative-based parsing and a Lambda reducer showing the universality of Lambda calculus. The book also shows how to sculpt automata by making the regular language conversion pipeline available through a simple command interface. A Jupyter notebook will accompany the book to feature code, YouTube videos, and other supplements to assist instructors and students.
Homepage: https://www.cs.utah.edu/~ganesh/Jove.html
Keywords: formal languages; automata; decidability; algorithmic complexity
Related Software: Jupyter; Python
Referenced in: 1 Publication

Referenced by 1 Author

1 Gopalakrishnan, Ganesh Lalitha

Referenced in 0 Serials

Referenced in 1 Field

1 Computer science (68-XX)

Referencing Publications by Year