Posts

Showing posts from September 1, 2019

Moore and Mealy Machine | Theory Of Computation (TOC)

Image
Theory Of Computation | (TOC)Moore Machine Moore machine is an FSM whose outputs depend on only the present state. A Moore machine can be described by a 6 tuples M = ( Q, Σ, Δ, 𝛿, λ, q 0 ) Where, Q = finite set of states. Σ = finite set of symbols called the input alphabet. Δ = finite set of symbols called the output alphabet. 𝛿 = input transition function where  𝛿 : Q✕ Σ →Q   λ = output transition function where   λ :  Q → Δ q 0 = initial state from Where any input is processed ( q 0 ∈Q).

Eliminating Epsilon transition (ε-Transitions) | Conversion of Epsilon-NFA to DFA | Conversion of Epsilon-NFA to NFA | Theory Of Computation (TOC)

Image
Theory Of Computation (TOC) | Eliminating  Epsilon Transition ( ε -Transitions) : Given any Epsilon NFA (ε-NFA) , we can find a DFA D that accepts the same language as E. The construction is close to the subset construction, as the states of D are subsets of the states of E. The only difference is that dealing with ε-transitions, which can be done by using ε-closure.