From 6c03de25ecc9b241bd1578034275991ae80b38f1 Mon Sep 17 00:00:00 2001
From: Kia <kia@special-circumstanc.es>
Date: Mon, 10 Aug 2020 18:34:30 -0600
Subject: [PATCH] start work on actual Boltzmann sampling

---
 cfg_utils.py | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/cfg_utils.py b/cfg_utils.py
index cd4e161..9fd94a6 100644
--- a/cfg_utils.py
+++ b/cfg_utils.py
@@ -210,6 +210,18 @@ while True:
         break
 
 
+
+
+# We use the "sandwich" technique in https://notebook.drmaciver.com/posts/2020-07-11-10:49.html
+
+
+# Here, c(n) represents the number of total strings in the language that are of length exactly n
+
+
+
+
+
+
 # Furthermore, we also note that the description of a context-free grammar is *itself* context-free
 # so if we take the CFG-description grammar (BNF or something isomorphic to it), and use Boltzmann
 # sampling on *it*, we will generate candidate grammars; which will be used to test the FPGA-based
-- 
GitLab