commit f1d2b34c4fae1e421273167307f846f519e0ded7 parent bc94ae7b86bfd7f7a01ab694b8c91bdc01e15566 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]