From ce9d7db67a1151357f85338e88e6a767679dff38 Mon Sep 17 00:00:00 2001 From: sjunges Date: Thu, 27 Oct 2016 13:56:08 +0200 Subject: [PATCH] fixed knuths die in pdtmc Former-commit-id: f52f34571d095619a2cd12a611507b912a9595b8 [formerly 20c9ef124ae3b2bbceea0e61dcba2f46894fb03e] Former-commit-id: f6d23f46eb12a2cce806d8fe4f5d250f65714025 --- examples/pdtmc/die.pm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/pdtmc/die.pm b/examples/pdtmc/die.pm index 31290bd69..a2a8f57b0 100644 --- a/examples/pdtmc/die.pm +++ b/examples/pdtmc/die.pm @@ -16,7 +16,7 @@ module die [] s=2 -> q : (s'=5) + 1-q : (s'=6); [] s=3 -> p : (s'=1) + 1-p : (s'=7) & (d'=1); [] s=4 -> p : (s'=7) & (d'=3) + 1-p : (s'=7) & (d'=2); - [] s=5 -> p : (s'=2) + 1-p : (s'=7) & (d'=6); + [] s=5 -> p : (s'=2) + 1-p : (s'=7) & (d'=4); [] s=6 -> p : (s'=7) & (d'=6) + 1-p : (s'=7) & (d'=5); [] s=7 -> 1: (s'=7);