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

868 questions

986 answers

1.4k comments

438 users

0 votes

Can I know how we get the relation formula from the diagram ? Do we need to follow any steps? it would be great if it can be shared? 

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

1 Answer

0 votes
 
Best answer
As mentioned in the Q&A session today, that is done as follows: For a deterministic automaton, we can always write down the transition relation as a conjunction of equivalences of the form Xq_i <-> phi_i such that phi_i is a propositional logic formula on the current state and input variables that enumerates all transitions pointing to a state where q_i holds next.
by (139k points)
selected by
Imprint | Privacy Policy
...