2
votes
Accepted
Design a sampling process to select an element with probability proportional to its appear probability in a simulation
This can be done efficiently if the size of the samples $S$ is not too large. Let $m$ denote the maximum possible size of $S$. Then the following procedure outputs exactly the correct distribution:
...
2
votes
Is there an algorithm for minimizing an NFA with respect to bisimilarity rather than language equivalence?
Yes, see for example here:
Johanna Högberg, Andreas Maletti, Jonathan May,
Backward and forward bisimulation minimization of tree automata,
Theoretical Computer Science 410(37), 2009, pp. 3539-3552,
...
1
vote
Formal differences between emulation and simulation?
In plain language, emulation means the new system performs in exactly the same way as the emulated system.
Simulation means the new system performs in roughly equivalent way as the simulated system.
e....
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
lts-simulations × 6pl.programming-languages × 2
reference-request × 1
automata-theory × 1
ds.data-structures × 1
randomness × 1
st.statistics × 1
pseudorandomness × 1
machine-models × 1
minimization × 1
process-algebra × 1
object-oriented × 1
nfa × 1
monte-carlo × 1