commit cf810a03816743e5f6eb03cf4509e533ea671098
parent fcd5148223fadfe9cc8c03c0a2ac98f043a75179
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Thu, 30 Jan 2025 11:34:11 +0100
commit with codex
Diffstat:
2 files changed, 3 insertions(+), 0 deletions(-)
diff --git a/context_free_grammar b/context_free_grammar
@@ -19,6 +19,7 @@
- [context_free_grammar_unambiguous]
- [context_free_grammar_linear]
- [context_free_grammar_bounded]
+- [context_free_grammar_finite]
- [inherently_ambiguous]
## Complexities
diff --git a/context_free_grammar_unambiguous b/context_free_grammar_unambiguous
@@ -7,3 +7,5 @@ An unambiguous CFG is a [context_free_grammar] where for every [word] in the lan
Up: [unambiguity], [context_free_grammar]
See also: [inherently_ambiguous]
+
+Aliases: unambiguous CFG, unambiguous CFGs