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

Add of supplementary unit tests.