1.

|-* is the __________ closure of |-(a) symmetric and reflexive(b) transitive and reflexive(c) symmetric and transitive(d) none of the mentionedThe question was asked in an online interview.My doubt stems from Deterministic PDA in portion Push Down Automata of Automata Theory

Answer»

Correct OPTION is (b) transitive and reflexive

Easiest explanation: A STRING w is accepted by a PDA if and only if (s,w, E) |-* (F, e, e)



Discussion

No Comment Found

Related InterviewSolutions