Intro To Toc
Intro To Toc
The Theory of computation is the branch that deals with whether and how
efficiently problems can be solved on a model of computation, using an
algorithm.
The field is divided into three major branches:
1.Automata theory,
2.Computability theory
3. Computational complexity theory.
• In theoretical computer science, Automata theory is the study of
abstract machines (or more appropriately, abstract 'mathematical'
machines or systems) and the computational problems that can be
solved using these machines.
• This automaton consists of
• • states (represented in the figure by circles),
• • and transitions (represented by arrows).
• As the automaton sees a symbol of input, it makes a transition (or
jump) to another state, according to its transition function (which
takes the current state and the recent symbol as itsinputs).
• Uses of Automata: compiler design and parsing.
• Automata enables scientists to understand how machines compute
the functions and solve problems. The main motivation behind
developing Automata Theory was to develop methods to describe and
analyze the dynamic behavior of discrete systems.
• Automata originated from the word “Automaton” which is closely
related to “Automation”.
BASICS OF STRINGS AND ALPHABETS
• SET: A SET IS A WELL DEFINED COLLECTION OF OBJECTS.
OPERATIONS ON SET:
1. UNION
2. INTERSECTION
3. COMPLEMENT
4. REVERSAL
• Symbols :
• Symbols are indivisible objects or entity that cannot be defined. That is,
symbols are the atoms of the world of languages. A symbol is any single
object such as , a, 0, 1, #,begin, or do.
• Alphabets :
• An alphabet is a finite, nonempty set of symbols. The alphabet of a
language is normally denoted by ∑.
• Strings or Words over Alphabet :
• A string or word over an alphabet ∑ is a finite sequence of concatenated
symbols of ∑
Example : 0110, 11, 001 are three strings over the binary alphabet { 0,
1 } . OR aab, abcb, b, cc are four strings over the alphabet { a, b, c }.
• Length of a string :
The number of symbols in a string w is called its length, denoted by |
w|.
Example : | 011 | = 3, |11| = 2, | b | = 1
SOME STRING OPERATIONS:
• CONCATENATION
• TRANSPOSE – Palindrome
• PREFIX
• SUFFIX
• SUBSTRING
Closure Representation in TOC:
• L+: It is a Positive Closure that represents a set of all strings except
Null or ε-strings.
• L*: It is “Kleene Closure“, that represents the occurrence of certain
alphabets for given language alphabets from zero to the infinite
number of times. In which ε-string is also included.
RELATIONS AND FUNCTIONS