Content deleted Content added
Gareth Jones (talk | contribs) + finite state requirement |
Gareth Jones (talk | contribs) →Implementation: new section |
||
Line 16:
In practice this [[series (mathematics)|series]] is terminated after finitely many terms.
==Implementation==
[[Pseudocode]] for the algorithm is included in Appendix A of Reibman and Trivedi's 1988 paper.<ref>{{cite doi|10.1016/0305-0548(88)90026-3}}</ref>
==Notes==
| |||