// max probability of reaching an error state
Pmax
=?[
F
(
error1
=
1
|
error2
=
1
)]