Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Standard view
Full view
of .
Look up keyword or section
Like this
0 of .
Results for:
No results containing your search query
P. 1
Theory of Computation

Theory of Computation

Ratings: (0)|Views: 133|Likes:
Published by Rakesh K R

More info:

Published by: Rakesh K R on Nov 03, 2012
Copyright:Attribution Non-commercial


Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less





PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information.PDF generated at: Sat, 20 Oct 2012 01:16:54 UTC
Theory of computation
Rakesh KR
Theory of computation1Automata theory5Regular language10Deterministic finite automaton14Context-free language18Pushdown automaton20Recursively enumerable set25Turing machine27Undecidable problem43
Article Sources and Contributors46Image Sources, Licenses and Contributors47
Article Licenses
Theory of computation1
Theory of computation
In theoretical computer science and mathematics, the
theory of computation
is the branch that deals with whetherand how efficiently problems can be solved on a model of computation, using an algorithm. The field is divided intothree major branches: automata theory, computability theory and computational complexity theory.
In order to perform a rigorous study of computation, computer scientists work with a mathematical abstraction of computers called a model of computation. There are several models in use, but the most commonly examined is theTuring machine. Computer scientists study the Turing machine because it is simple to formulate, can be analyzedand used to prove results, and because it represents what many consider the most powerful possible "reasonable"model of computation (see Church
Turing thesis). It might seem that the potentially infinite memory capacity is anunrealizable attribute, but any decidable problem solved by a Turing machine will always require only a finiteamount of memory. So in principle, any problem that can be solved (decided) by a Turing machine can be solved bya computer that has a bounded amount of memory.
Relationship between computability theory, complexity theory and formal languagetheory.
The theory of computation can beconsidered the creation of models of all kinds in the field of computerscience. Therefore mathematics andlogic are used. In the last century itbecame an independent academicdiscipline and was separated frommathematics.Some pioneers of the theory of computation were Alonzo Church,Alan Turing, Stephen Kleene, John von Neumann and Claude Shannon.
Automata theory
Automata theory is the study of abstract machines (or more appropriately, abstract 'mathematical' machines orsystems) and the computational problems that can be solved using these machines. These abstract machines arecalled automata. Automata comes from the Greek word (Αυτόματα) which means that something is doing somethingby itself. Automata theory is also closely related to formal language theory, as the automata are often classified bythe class of formal languages they are able to recognize. An automaton can be a finite representation of a formallanguage that may be an infinite set.

Activity (3)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
Rajesh Kumar liked this

You're Reading a Free Preview

/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->