From 35407b12159649ef6fc942938c8ad79d5643c978 Mon Sep 17 00:00:00 2001 From: Faried Abu Zaid Date: Thu, 26 Jun 2025 02:08:07 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 14f7bf2..7925694 100644 --- a/README.md +++ b/README.md @@ -228,7 +228,7 @@ VisualDFA(remaining.evaluate()).show_diagram() 2. **Complexity Boundaries** | Parameter | Best Case | Worst Case | |------------------|-----------------|---------------------| - | **Quantifier Depth** | Constant | Non-elementary | + | **Quantifier Depth** | Constant state space | Non-elementary state space | | **Free Variables** | Exponential alphabet size | Exponential alphabet size | 4. **Optimization Strategies**