commit 4d2eb1535f0e6fa23f0919daa7eca2dd703f14fc parent d3d58405e53381c678e163506ba8897be073228a 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]