From 782bae6cfa26b28ec2f2df911164008d18b6e7ea Mon Sep 17 00:00:00 2001
From: Kia <kia@special-circumstanc.es>
Date: Mon, 17 Aug 2020 15:01:29 -0600
Subject: [PATCH] correct explanation of Case D (explains why we use Fprim)

---
 cfg_utils.py | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/cfg_utils.py b/cfg_utils.py
index 705d893..4de2989 100644
--- a/cfg_utils.py
+++ b/cfg_utils.py
@@ -550,11 +550,12 @@ class CFGBoltzmann:
     # X_ijk is not the last  |        Case B             |         Case D               |
     # symbol in the          | A terminal always has len | Like the convolution, but use|
     # production rule (i,j)  | 1 and no possibilities so | Fprim and weighted-choice on |
-    #                        | this reduces to           | X_ijk to find out how many   |
-    #                        | Gprim(i, j, k+1, N-1)     | symbols we're having X_ijk   |
-    #                        |                           | generate (then use Gzero on  |
-    #                        |                           | X_ijk and Gprim on k+1 to end|
-    #                        |                           | of the rule                  |
+    #                        | this reduces to           | [X_ijk, last symbol in the   |
+    #                        | Gprim(i, j, k+1, N-1)     | production rule] to find out |
+    #                        |                           | how many symbols we're having|
+    #                        |                           | X_ijk generate. Then we use  |
+    #                        |                           | Gzero on X_ijk and Gprim on  |
+    #                        |                           | (k+1) to end of rule         |
     #                        \----------------------------------------------------------/
 
 
-- 
GitLab