commit 69ebf79db401ba2bdb730cb9f6abf00d26e87053 parent 3bf6ac13b95d55b225d89a9b6e08d702c12c9d4f Author: Antoine Amarilli <a3nm@a3nm.net> Date: Mon, 4 Aug 2025 12:35:21 +0200 commit with codex Diffstat:
language_emptiness | | | 3 | +++ |
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/language_emptiness b/language_emptiness @@ -4,6 +4,9 @@ The [computational_problem] of deciding if a [formal_language] is [empty_languag - [automaton_emptiness] +Can be [undecidable] for some formalisms: +- cf https://cstheory.stackexchange.com/q/21741 + Up: [computational_problem], [formal_language] See also: [universality_problem]