Posts

Showing posts with the label alphabet

ARDEN'S THEOREM FOR REGULAR EXPRESSIONS

Image
    Identities for Regular Expression:- Given R, P, L, Q as regular expressions, the following identities hold − ∅* = ε ε* = ε RR* = R*R R*R* = R* (R*)* = R* RR* = R*R (PQ)*P =P(QP)* (a+b)* = (a*b*)* = (a*+b*)* = (a+b*)* = a*(ba*)* R + ∅ = ∅ + R = R   (The identity for union) R ε = ε R = R   (The identity for concatenation) ∅ L = L ∅ = ∅   (The annihilator for concatenation) R + R = R   (Idempotent law) L (M + N) = LM + LN   (Left distributive law) (M + N) L = ML + NL   (Right distributive law) ε + RR* = ε + R*R = R* Arden's Theorem:- In order to find out a regular expression of a Finite Automaton, we use Arden’s Theorem along with the properties of regular expressions. Statement  − Let  P  and  Q  be two regular expressions. If  P  does not contain null string, then  R = Q + RP  has a unique solution that is  R = QP* Proof  − R = Q + (Q + RP)P  [After putting the value R = Q + RP] = Q + ...

THEORY OF COMPUTATION

Image
  THEORY  OF  COMPUTATION(T.O.C.):- Theory of computation is a branch of computer science which deals with how a problem can be solved in an efficient way using what algorithms or model of computations. Here we solve the problems with different computational models, from which we get different states. This is a branch which give us an info about how computations are occurs in computer system or deals with theoretical model behind every computations. -For understanding completely about theory of computation, we have to deal with three main pillars of it i.e. L A G Language:- -It is a collection of all possible length of string of finite or infinite length. For example:-  aab, aabb, aaaabbbb, ahhbbb etc.  -The small unit of a language is known as 'symbol' or a language is a collection of more than one symbols. For example:-  {a, b, c, ........ 1, 2, 3, ..... etc.} -Finite set of symbols is known as 'alphabet' which is denoted by Sigma (Σ). For examp...