SLIDE 19 L2 Enforce start at q0. Define E1 =
a∈Σ,q∈Q{[q0aq]} =
E1 = {[q0a1q0], [q0a2q1], . . . , [q0amqn]}. Then, L2 = L1 ∩ L(E1.T ∗). L3 Adjacent states must equal. Define non-matching pairs E2 =
q=r,p,q,r,s∈Q,a,b∈Σ{[paq][rbs]}.
Define L3 = L2 − L(T ∗.E2.T ∗), L3 It ends in accepting state since we started from M language of accepting computations on the DFA A. L4 All states. For each state q ∈ Q, define Eq be the regular expression that is the sum of all the symbols in T such that q appears in neither its first or last
- position. We substract L(E ∗
q ) from L3.
L4 = L3 −
q∈Q{E ∗ q }.
L Remove states, leave symbols. L = h(L4). We conclude L is regular. In brief: M = L(A) Inverse homomorphism L1 h−1(M) ⊆ {[qap]}∗ Intersection with a RL L2 + q0 Difference with a RL L3 + adjacent states equal Difference with a RL L4 + all states on the path Homomorphism L h([qap]) = a
Automata and Grammars Regular Expressions,Kleene Theorem, Subst., Homom. 4 August 9, 2019 93 / 75 - 95