commit d9f7db0cc1c87e20d04ca6d3f35de33dc8ae9005 parent 945315367270a523f1e1b8bcf88f205db79d083f Author: Antoine Amarilli <a3nm@a3nm.net> Date: Fri, 6 Feb 2026 12:05:09 +0100 commit with codex Diffstat:
| buchis_theorem | | | 4 | +++- |
| logic_over_words | | | 4 | +++- |
2 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/buchis_theorem b/buchis_theorem @@ -2,8 +2,10 @@ https://en.wikipedia.org/wiki/B%C3%BCchi-Elgot-Trakhtenbrot_theorem -Equivalence of [monadic_second_order_logic] and of [regular_languages] on [words] +Equivalence of [monadic_second_order_logic] and of [regular_languages] for [logic_on_words] Up: [theorem] in [formal_language_theory] See also: [Büchi_automaton] + +Aliases: Büchi Elgot Trakhtenbrot theorem diff --git a/logic_over_words b/logic_over_words @@ -9,4 +9,6 @@ The [signature] includes: Up: [logic], [word] -See also: [monotone_first_order_logic] +See also: [monotone_first_order_logic], [Büchi's_theorem] + +Aliases: logic on words