Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers


543 users

0 votes

why does Q2 doesn't have S1 in it's Qf component. If we take intersection of Q component's states with accepting states of the automata we would get S1 but here Qf is empty.
initial condition=q1&!q0|q0&q1, the acceptance condition (!q0&!q1|q0&!q1)

in * TF "Emb. Sys. and Rob." by (250 points)
edited by

1 Answer

0 votes

Q2 is the successor of Q1 under input {a}, and Q1 = ({s0,s2},{s0}). Since the second component {s0} of Q1 is not empty, we have to compute the first component of Q2 as sucσ∃(Q) and the second component as sucσ∃(Qf)∩F. State s0 has no transition for input {a}, and state s2 has a transition to s1, so that sucσ∃({s0,s2}) = {s1}. For the second component, we already checked that s0 has no transition for input {a}, so sucσ∃({s0}) = {}, and the intersection with the accepting states F does not change this.

So, note that the second component is sucσ∃(Qf)∩F and not sucσ∃(Q)∩F in case that Qf is nonempty.

by (166k points)
Understood. Thank you Professor.

Related questions

+2 votes
3 answers
asked May 4, 2020 in * TF "Emb. Sys. and Rob." by bhatti (380 points)
0 votes
1 answer
asked Jun 18, 2020 in * TF "Emb. Sys. and Rob." by MS (1.1k points)
0 votes
1 answer
0 votes
2 answers
asked Jun 13, 2023 in * TF "Emb. Sys. and Rob." by farwinr (380 points)
Imprint | Privacy Policy