Hi Dinesh,
> Will you please tell me what information does FSM depth gives.
Fsm depth is the sequential depth of the machine. If you look at the
graph of the FSM, then it is the distance from the initial state to the
state that is furthest away from it, where the distance between to
states is the length of the shortest path between them. This coincides
with the number of BFS steps that reachability has to take to find all
states.
> module Parity on page"Reading the output of print commands in VIS" has
> output "O".
> I can draw BDD for "O" from its boolean expression.What is the relation
> between this BDD and MDD shown on that page.
> These two should be exactly same,becoz in this case all the variables are
> binary variables.
You are right, the mdd and the bdd are the same. In this case, o can
take any value in the next state, so its mdd is the tautology.
I don't see any mdds on the page you refer to. Instead, the network and
the partition of the network are shown.
Roderick
This archive was generated by hypermail 2b30 : Mon May 28 2001 - 09:26:25 MDT