L = { <M,t> : t ∈ L(M) and s ∉ L(M), t,s ∈ {a,b}*, where t is the string after s in a lexicographic ordering of {a,b}*}.

profileRony
SampleLab8_TMcharfuncAns.docx
Home>Computer Science homework help>L = { <M,t> : t ∈ L(M) and s ∉ L(M), t,s ∈ {a,b}*, where t is the string after s in a lexicographic ordering of {a,b}*}.

Lab 8 Ans: Answer: L(M) = { w : #a(w) = #b(w) + 3, and w ends with an a }