Non-deterministic finite automata also have five states which are same as DFA, but with different transition function, as shown follows −δ: Q X Σ -> 2QNon-deterministic finite automata is defined as a 5 tuple, M=(Q, Σ, δ, q0, F)Where, Q: Finite set of statesΣ: Finite set of the input symbolq0: Initial stateF: Final stateδ: Transition function: Q X Σ -> 2QProblemDesign a transition diagram and table for the given language that accepts all strings of length at least 2.SolutionBefore proceeding to the solution, let’s understand what do you mean by length of string and how to find the length of ... Read More

A Deterministic Finite automata (DFA) is a collection of defined as a 5-tuples and is as follows −M=(Q, Σ, δ, q0, F)Where, Q: Finite set called states.Σ: Finite set called alphabets.δ: Q × Σ → Q is the transition function.q0 ∈ Q is the start or initial state.F: Final or accept state.Example 1The DFA accepts all strings starting with 0The language L= {0, 01, 001, 010, 0010, 000101, …}In this language, all strings start with zero.Transition diagramThe transition diagram is as follows −ExplanationStep 1 − q0 is the initial state on input ‘0’ it goes to q1, which is the ... Read More

A string is a finite set sequence of symbols choosen from some alphabets.For example, 00011001 is a string from binary alphabet Σ={0, 1}aabbcabcd is a string from alphabet Σ={a, b, c, d}The different operations performed on strings are explained below −Concatenation.Substring.Kleen star operation.Reversal.ConcatenationConcatenation is nothing but combining the two strings one after another.ExampleLet’s consider two strings −X= TutorialsY= PointThe concatenation (X, Y) of two strings is −X.Y = TutorialsPointNote − Concatenation of empty string with other string gives string itself.For example, X. ε = ε.X = XSubstringIf ‘w’ is a string then ‘v’ is substring of ‘w’ if there exists ... Read More

A finite state machine has a set of states and two functions called the next-state and output function.The set of states correspond to all the possible combinations of the internal storage. If there are n bits of storage, there are 2n possible states.The next state function is a combinational logic function that, given the inputs and the current state, determines the next state of the system.The diagram given below explains the functioning of a finite state machine in TOC.The output function generates a set of outputs from the current state and the inputs.TypesThe two types of finite state machines are ... Read More

If Σ is an alphabet, the set of all strings can be expressed as a certain length from that alphabet by using exponential notation. The power of an alphabet is denoted by Σk and is the set of strings of length k.For example, Σ ={0, 1}Σ1= {0, 1} ( 21=2)Σ2= {00, 01, 10, 11} (22=4)Σ3= {000, 001, 010, 011, 100, 101, 110, 111} (23= 8)The set of strings over an alphabet Σ is usually denoted by Σ*(Kleene closure)For instance, Σ*= {0, 1}*={ ε, 0, 1, 00, 01, 10, 11, ………}Therefore, Σ*= Σ0U Σ1U Σ2U Σ3…………. With ε symbolThe set of ... Read More

ProblemDerive the string"00101" for left most derivation (LMD) and right most derivation (RMD) using context free grammar (CFG).SolutionThe grammar is as follows −S->A1B A->0A| ε B->0B| 1B| εLeft Most derivation (LMD)In the left most derivation, the given input is scanned and then replaced with the production rule from left side to right. So, we have to read that input string from left to right.The grammar is as follows −S->A1B rule1 A->0A| ε rule 2 B->0B| 1B| ε rule 3Hence, the LMD will be as follows −S->A1B ->0A1B rule2 ->00A1B rule2 ->001B rule2 ->0010B rule3 ->00101B rule3 ->00101 rule3 Derived the ... Read More

Derivation is a sequence of production rules. It is used to get input strings. During parsing, we have to take two decisions, which are as followsWe have to decide the non-terminal which is to be replaced.We have to decide the production rule by which the non-terminal will be replaced.Two options to decide which non-terminal has to be replaced with the production rule are as follows −Left most derivationRight most derivation.Let us understand these two options in detail.Left Most DerivationIn the leftmost derivation, the input is scanned and then replaced with the production rule from left side to right. So, we ... Read More

Closure property is a technique to understand the class of the resulting language when we are performing an operation on two languages of the same class.That means, suppose L1 and L2 belong to regular language and if regular language is closed under operation ∪, then L1∪L2 will be a Regular language. But if RL is not closed under ∩, that doesn't mean L1∩L2 won't be a RL.For a class to be closed under an operation, it has to hold true for all languages in that class. So, if a class is not closed under an operation, we cannot say anything ... Read More

ProblemGenerate RE for a given finite automata by using the state elimination method.SolutionThere are two methods for converting a Deterministic Finite Automata (DFA) to Regular expression (RE).Arden's Theorem Method.State Elimination Method.The given automata is as follows−Step 1Initial state is A that has an incoming edge.So, we have to create a new initial state qi as follows−Step 2Initial state is B that has an incoming edge.So, we have to create a new final state qf as given below−Step 3Now, try to eliminate all intermediate states one by one.First eliminate state AThere is a path from state qi to B via A.So, ... Read More

ProblemGiven a Finite Automata, we need to convert the Finite Automata into equivalent Regular Expression using the State Elimination Method.Step 1 − Initial state q1 has incoming edge. So, create a new initial state qi.Step 2 − Final state q2 has outgoing edge. So, create a new final state.Step 3 − Start eliminating intermediate states one after another.If there is path going to qi to q2 via q1So after eliminating q1 we can connect a direct path from qi to q2 having costε .c*.a=c*aThere is a loop on q2 using state qiSo after eliminating state q1 we can draw a ... Read More