# Difference between revisions of "Errata: In heuristic derivation of reachability test, α is missing subscript"

In the displayed equation, the coefficient for the term should be  (subscript is missing).