Om Sai
Ro
Theory of Computation
Input -- Abstract Machine / Model - Output
One state to other state
Abstract Machine / Model Automata (Low level implementation)
Implemented within a finite number of states Finite Automata
Applications:
Design of Compiler Lexical Analyzer (Rules Compiler error)
Pattern matching Password rules
Spell check MS Word
Valid or Invalid
Automata covers 3 Concepts:
Automata (i/p o/p)
Computability (Ability of computing)
Complexity (optimal solution)
Basic Terminologies of Theory of Computation:
Symbols:
Is a smallest building block, which can be of alphabet, letter or picture
Alphabets Σ
String = w
Length = |w|
No of strings = |w|n
Positive Closure:
+
All values except NULL = L
Kleene Star/Kleene Closure
*
All values including NULL = L
Language:
A language is a set of strings, chosen from some Σ* or we can say- ‘A language is a
subset of Σ* ‘. A language that can be formed over ‘ Σ ‘ can be Finite or Infinite.
Example of Finite Language:
L1 = { set of string of 2 }
L1 = { xy, yx, xx, yy }
Example of Infinite Language:
L1 = { set of all strings starts with 'b' }
L1 = { babb, baa, ba, bbb, baab, ....... }