- IRegular Languages
- 2.Finite Automata
- 2.0.1Where Are We?
- 2.0.2Chapter Objectives
- 2.3Minimal Automata
- 2.3.1Exercises
- 2.4Machines with Output
- 2.4.1Computer Arithmetic
- 2.4.2Lexical Analysis
- 2.4.4Exercises
- 2.4.5Chapter Summary
- 3.Regular Expressions and Grammars
- 3.0.1Where Are We?
- 3.0.2Chapter Objectives
- 3.1Regular Expressions
- 3.1.1Exercises
- 3.3Regular Grammars
- 3.3.1Left-Linear Grammars
- 3.3.2Exercises
- 3.3.3Chapter Summary
- 4.Properties of Regular Languages
- 4.0.1Where Are We?
- 4.0.2Chapter Objectives
- 4.1Closure Properties
- 4.1.2Exercises
- 4.2Decision Algorithms
- 4.2.1Exercises
- 5.Pushdown Automata
- 5.0.1Where Are We?
- 5.0.2Chapter Objectives
- 6.Context-Free Grammars
- 6.0.1Where Are We?
- 6.0.2Chapter Objectives
- 7.Properties of Context-Free Languages
- 7.0.1Where Are We?
- 7.0.2Chapter Objectives
- 7.1Chomsky Normal Form
- 7.1.1Removing Lambda
- 7.1.4Exercises
- 8.Turing Machines
- 8.0.1Where Are We?
- 8.0.2Chapter Objectives
- 8.1Prelude
- 8.1.1Queue Machines
- 8.1.2Exercise
- 8.2The Standard Turing Machine
- 8.2.1Subroutines
- 8.2.2Halting
- 8.2.3Exercises
- 8.2.4Programming Exercise
- 9.The Landscape of Formal Languages
- 9.0.1Where Are We?
- 9.0.2Chapter Objectives
- 9.2Unrestricted Grammars
- 9.2.3Exercises
- 9.3The Chomsky Hierarchy
- 9.3.1Countable Sets
- 9.3.2Uncountable Sets
- 9.3.3Chapter Summary
- 10.Computability
- 10.0.1Chapter Objectives
- 10.2Reductions and Undecidability
- 10.2.1Exercises
- 10.2.2Chapter Summary
- 2.Finite Automata
Foundations of Computing
An Accessible Introduction to Formal Languages
An accessible, practical approach to formal languages with an introduction to computability.
Minimum price
$25.00
$45.00
You pay
$45.00Author earns
$36.00About
About the Book
A textbook for upper-division Computer Science majors covering formal languages and automata with an introduction to computability. Intended to give CS majors a solid foundation in the Theory of Computation without being overly formal mathematically, while retaining the rigor of the material. It has been classroom tested since 2016 with good success.
Author
About the Author
Professor Allison has degrees in mathematics and twenty years experience as a professional software engineer. He has been at UVU since 2001, specializing in programming languages, software design, mathematical foundations of computing, scientific computing, C++, and Python. He has over 100 publications, including two C++ books, and a textbook on the Theory of Computation.
Contents
Table of Contents
The Leanpub 60 Day 100% Happiness Guarantee
Within 60 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.
Now, this is technically risky for us, since you'll have the book or course files either way. But we're so confident in our products and services, and in our authors and readers, that we're happy to offer a full money back guarantee for everything we sell.
You can only find out how good something is by trying it, and because of our 100% money back guarantee there's literally no risk to do so!
So, there's no reason not to click the Add to Cart button, is there?
See full terms...
Earn $8 on a $10 Purchase, and $16 on a $20 Purchase
We pay 80% royalties on purchases of $7.99 or more, and 80% royalties minus a 50 cent flat fee on purchases between $0.99 and $7.98. You earn $8 on a $10 sale, and $16 on a $20 sale. So, if we sell 5000 non-refunded copies of your book for $20, you'll earn $80,000.
(Yes, some authors have already earned much more than that on Leanpub.)
In fact, authors have earned over $14 million writing, publishing and selling on Leanpub.
Learn more about writing on Leanpub
Free Updates. DRM Free.
If you buy a Leanpub book, you get free updates for as long as the author updates the book! Many authors use Leanpub to publish their books in-progress, while they are writing them. All readers get free updates, regardless of when they bought the book or how much they paid (including free).
Most Leanpub books are available in PDF (for computers) and EPUB (for phones, tablets and Kindle). The formats that a book includes are shown at the top right corner of this page.
Finally, Leanpub books don't have any DRM copy-protection nonsense, so you can easily read them on any supported device.
Learn more about Leanpub's ebook formats and where to read them
Write and Publish on Leanpub
You can use Leanpub to easily write, publish and sell in-progress and completed ebooks and online courses!
Leanpub is a powerful platform for serious authors, combining a simple, elegant writing and publishing workflow with a store focused on selling in-progress ebooks.
Leanpub is a magical typewriter for authors: just write in plain text, and to publish your ebook, just click a button. (Or, if you are producing your ebook your own way, you can even upload your own PDF and/or EPUB files and then publish with one click!) It really is that easy.