prefix_closed_language (216B)
1 # Prefix closed language 2 3 A [formal_language] where, if v is in L and u is a [prefix] of v, then u is in L 4 5 Up: [prefix] 6 7 Aliases: language prefix closed 8 9 See also: [suffix_closed_language], [prefix_convex_language]