search
Log In
Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
Welcome to GATE CSE Doubts, where you can ask questions and receive answers from other members of the community.
0 votes
5 views
check if init(L) is closed or not where init(L) = { w | for some x, wx is in L }

=> Correct if Logic is wrong.

Let there are n differnt state in dfa of L.

Case_1: if len( wx ) >= n and wx is in L then x is either EmptyString or a loop. So deleting that x is Harmless.

Case_2: if len( wx ) < n and wx is in L then either x is EmptyString else whether single ‘w’ reach the final state is undecidable.

 

So., x is Empty for sure, for all w in init(L) => Closed.
in Theory of Computation 13 points 5 views

Please log in or register to answer this question.

...