eBook - ePub
Automata and Computability
A Programmer's Perspective
Ganesh Gopalakrishnan
This is a test
Share book
- 328 pages
- English
- ePUB (mobile friendly)
- Available on iOS & Android
eBook - ePub
Automata and Computability
A Programmer's Perspective
Ganesh Gopalakrishnan
Book details
Book preview
Table of contents
Citations
About This Book
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 href="https://github.com/ganeshutah/Jove.git/"here.
Frequently asked questions
How do I cancel my subscription?
Can/how do I download books?
At the moment all of our mobile-responsive ePub books are available to download via the app. Most of our PDFs are also available to download and we're working on making the final remaining ones downloadable now. Learn more here.
What is the difference between the pricing plans?
Both plans give you full access to the library and all of Perlegoās features. The only differences are the price and subscription period: With the annual plan youāll save around 30% compared to 12 months on the monthly plan.
What is Perlego?
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, weāve got you covered! Learn more here.
Do you support text-to-speech?
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Is Automata and Computability an online PDF/ePUB?
Yes, you can access Automata and Computability by Ganesh Gopalakrishnan in PDF and/or ePUB format, as well as other popular books in Computer Science & Computer Science General. We have over one million books available in our catalogue for you to explore.
Information
1
What Machines Think
Computers are everywhere and their power seldom ceases to amaze even those deeply embedded within the field! Computers seem to do (or be involved with) everything: from processing payroll to making telephone calls and even brushing our teeth (hiding within electric toothbrushes). They have also beaten humans at (the quiz show called) Jeopardy! One may therefore ask in all honesty: ācan computers do everything?!ā
There are obviously things computers canāt do.1 But what all can they do, and what does ācan doā mean in the context of a machine? Remember that these questions were raised during the early part of the 20th century when actual computers werenāt around; therefore, it isnāt clear what answers flew around. It is quite possible that people relied on their immediate experiences to provide answersāmuch the same way as people imagined airplanes to be before the Wright brothers flew one.2
Coming back to the subject of computing, early computing successes were marvels of engineering. Blaise Pascal created an impressive machine around 1642 to assist his father with his work (Page 1). According to Wikipedia, Pascal conceived the idea while trying to help his father in his job as a tax collector. Pascalās calculators could add and subtract two numbers directly and multiply and divide by repetition. About 200 years later, Babbage designed the Analytical Engine (trial design of 1837 shown in Figure 1.1). He even hired the first ever programmerā-Ada Lovelaceāwho was introduced to Babbage when she was just 17 years of age, and got āhooked onto computing!ā3
At the turn of the 20th century, people started pondering the question of the fundamental limits of computing. They began formulating this question in terms of the types of problems in mathematics and logic that can be āsolvedā using a machine. It wasnāt clear why there should be a fundamental limit to the power of computers. After all, authors such as Jules Verne were at this time writing science fiction pieces pertaining to going to the moon in spaceships (even before planes arrived).
1.1 Problems Without Algorithms
One can always state problems without knowing how to solve them. For instance, Fermat posed the problem of finding a, b, c that are natural numbers greater than 1 such that for n > 2. This problem remained open for over 300 years till 1995 when it was conclusively settled by Andrew Wiles in the negative: no such a, b, c can exist [46]. Until that year, one could have defined a procedure that could have searched for every possible a, b, c in a systematic way for a given n (say 3). For instance, the procedure could list all a, b, c that add up to 6, then list all a, b, c that add up to 7, etc., till such an a,b,c, were found that satisfied this equation. However, since 1995, thanks to the proof by Andrew Wiles of a theorem called Fermatās last theorem, we know that this procedure would go on forever, not finding any a, b, c. In fact, we now have an algorithm: just print āimpossible to find such a, b, cā and halt.
In the same vein, people in the 20th century were in hot pursuit of algorithms for pretty much every problem that can be posed in mathematics! Most notable in this quest was a German mathematician named David Hilbert who challenged the mathematics and logic community with 23 problems pertaining to logic, mathematics and computability. One of Hilbertās challenges was to prove the following:4
There should be an algorithmāa systematic and mechanical procedure that also terminates on any inputāto decide the truth of any logical statement in mathematics.
This was such a bold quest: Hilbert wanted any mathematical question to be algorithmically solved (always halt with āhere is the solutionā or āyou canāt have a solution.ā) A long line of famous mathematicians and logicians that includes Gƶdel, Church, and Turing showed that this goal was impossible to realize! They showed that many mathematical systems are undecidable: there isnāt an algorithm to decide the truth or falsity of statements made in them! They also showed that many logical systems are incomplete: there are logical systems that are so powerful that one cannot prove known truths in them.5
For concreteness, Hilbertās tenth problem was to devise an algorithm for finding solutions (over integers) for Diophantine equationsāequations of the form
Another Diophantine equation is
It turns out that the former has the solution x = 1, y = 2, z = ā2
while the latter has no solution.
A series of results developed in the 1940s through 1970 by Julia Robinson.6 The joint work by Yuri Matiyasevich, Julia Robinson, Martin Davis, and Hilary Putnam helped settle Hilbertās 10th problem in the negative through the so-called MRDP theorem (see a nice historical account at [34]). Their work showed that alas, we cannot write a single computer program that always halts and either prints out the solution for such an equation (if one exists) or prints out that such a solution does not exist. A third possibility is to be admitted in case the equation has no solution: any such program must necessarily loop and never halt!
In this book, we shall be building some of the foundations toward appreciating all this momentous work. Some of the later chapters will also detail the topic of the fundamental limits of computing.
The vast majority of this book, however, discusses the serendipitous outcomes of these early pursuits seeking the fundamental limits of computing. In the end, these pursuits did help settle many open theoretical questions, but along the way, they spun off many fundamental ideas that form the bedrock of modern Computer Science. Fundamental developments in this young field are led by a brand new community of researchers who go by the name computer scientist (and not āmathematicianā or ālogicianā).7
1.2 How to Define a Computer?
Even to get started on Hilbertās program, one had to clearly define āa computer.ā Remarkably, within a few decades of the early 20th century, mathematicians managed to arrive at the definition of a computer (i. e., an ultimate computing device). This work was spearheaded by many famous scientists including Alan Turing of England as well as Alonzo Church, Emil Post, Stephen Kleene and John von Neumann of the United States.8
Alan Turingās approach was to assume basic representations for numbers (in terms of 0ās and 1ās) and describe how one performs operations on numbers. His recipe for expressing an algorithm went something like this:
ā¢ At each step of the algorithm, if a character c (say 0) is read under the Turing machine head (or ācursorā), change the character to a different one (say 1). Then move the head one step left, one step right, or stay at the same spot. Then advance to the next step of the algorithm.
ā¢ The algorithm is deemed to have halted when it reaches one of the previously selected āhalting steps.ā In that case, the computation ends, leaving behind the contents of the tape as the final result.
It was soon shown that anything that is mechanically computable can be described in elementary terms such as this.9 See a modern Tur...