factor_closed_language (386B)
1 # Factor closed language 2 3 A [formal_language] L such that, if u is in L and v is a [factor] of u, then v is in L 4 5 Also closed "bifix-closed", because it is equivalent to being [prefix_closed] and [suffix_closed] 6 7 Up: [factor] 8 9 See also: [factor_convex_language], [Prefix_closed_language], [Suffix_closed_language], [factor_free_language], [bifix_free_language], [bifix_convex_language]