Automata and Computability: A Programmer's Perspective (Hardcover)

Gopalakrishnan, Ganesh

商品描述

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.

Features

  • Uses illustrations, engaging examples, and historical remarks to make the material accessible
  • Incorporates modern/handy ideas, such as derivative-based parsing and a Lambda reducer showing the universality of Lambda calculus
  • Shows how to "sculpt" automata by making the regular language conversion pipeline available through simple command interface
  • Uses a mini functional programming (FP) notation consisting of lambdas, maps, filters, and set comprehension (supported in Python) to convey math through PL constructs that are succinct and resemble math
  • Provides all concepts are encoded in a compact Functional Programming code that will tesselate with Latex markup and Jupyter widgets in a document that will accompany the books. Students can run code effortlessly.

 

商品描述(中文翻譯)

《自動機與可計算性》是一本經過課堂測試的教科書,提供了對自動機和計算理論的全面且易於理解的介紹。作者使用插圖、引人入勝的例子和歷史注解,使材料對學生來說有趣且相關。它融入了現代/方便的想法,例如基於導數的解析和Lambda簡化器展示了Lambda演算的普遍性。該書還展示了如何通過簡單的命令界面使正則語言轉換流程可用於雕刻自動機。一本Jupyter筆記本將附帶該書,其中包含代碼、YouTube視頻和其他補充材料,以幫助教師和學生。

特點:
- 使用插圖、引人入勝的例子和歷史注解,使材料易於理解
- 融入現代/方便的想法,例如基於導數的解析和Lambda簡化器展示了Lambda演算的普遍性
- 通過簡單的命令界面展示如何“雕刻”自動機
- 使用迷你函數式編程(FP)表示法,包括lambda、map、filter和集合推導(在Python中支持),以通過PL構造傳達數學,這些表示法簡潔且類似於數學
- 所有概念都以緊湊的函數式編程代碼編碼,該代碼將與Latex標記和Jupyter小部件一起在一本附帶的文檔中進行平鋪直敘。學生可以輕鬆運行代碼。

作者簡介

Ganesh Gopalakrishnan is a professor in the Computer Science Department at the University of Utah.

作者簡介(中文翻譯)

Ganesh Gopalakrishnan 是猶他大學計算機科學系的教授。