commit 2b092031d7945f7e88bd3664e4f99c665ec87d8f parent e47a3453b5f47e7cd321bffdf90d9ba480188ca2 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Mon, 2 Jun 2025 23:07:47 +0200 commit with codex Diffstat:
| language_convex | | | 12 | ++++++++++++ |
1 file changed, 12 insertions(+), 0 deletions(-)
diff --git a/language_convex b/language_convex @@ -0,0 +1,12 @@ +# Language convex + +A [formal_language] L is *convex* with respect to a [relation] R on [words] if whenever u R v and v R w, if u in L and w in L, then v in L + +cf [ang2009languages] + +- [language_prefix_convex] +- [language_suffix_convex] +- [language_factor_convex] +- [language_subword_convex] + +Up: [convexity], [formal_language]