models. It's a better semantic and improve performance as well as
readability of the code. All the tests passes (except the remark in the
last commit).

Fix about behavior of automata when the initial state is absorbing or
the parameters are equal to zero.

Add of supplementary unit tests.