commit eb8967737074f80d77d02d0e42006c49df84048d parent cdbad1f6851cbbe5435cea270d5f0a51da16fbd3 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Wed, 20 Aug 2025 12:04:13 +0200 commit with codex Diffstat:
5 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/context_free_grammar b/context_free_grammar @@ -34,6 +34,7 @@ ## Problems - [context_free_grammar_equivalence] +- [context_free_grammar_universality] - [smallest_grammar_problem] ## Fields diff --git a/context_free_grammar_unambiguous_equivalence_problem b/context_free_grammar_unambiguous_equivalence_problem @@ -6,4 +6,4 @@ cf https://cstheory.stackexchange.com/questions/38598/is-equivalence-of-unambigu Up: [context_free_grammar_equivalence_problem], [uCFGs] -Aliases: unambiguous CFG equivalence problem +Aliases: unambiguous CFG equivalence problem, equivalence context free grammar unambiguous diff --git a/universality_context_free_grammar b/universality_context_free_grammar @@ -8,4 +8,4 @@ Up: [universality_problem] See also: [universality_automata] -Aliases: CFG universality, context free grammar universality +Aliases: CFG universality, context free grammar universality, universality CFG diff --git a/universality_context_free_grammar_unambiguous b/universality_context_free_grammar_unambiguous @@ -5,3 +5,5 @@ it is [decidable]: https://cstheory.stackexchange.com/a/41001 Up: [universality_context_free_grammar], [uCFGs] Aliases: context free grammar unambiguous universality + +See also: [equivalence_context_free_grammar_unambiguous] diff --git a/universality_problem b/universality_problem @@ -3,6 +3,7 @@ [computational_problem], given a [formal_language], of deciding whether it is [language_universal] - [universality_automata] +- [universality_cfg] Up: [computational_problem], [formal_language]