pattern_language (467B)
1 # Pattern language 2 3 [Formal_language] defined as the set of [words] that can be obtained by [substituting] the variables of a [pattern_with_variables] 4 5 Two variants: 6 7 - [NE_pattern_language]: only consider [non_erasing_substitutions] 8 - [E_pattern_language]: also allow [erasing_substitution] 9 10 Problems: [pattern_language_computational_problems] 11 12 Variants: [pattern_language_erasing] vs [pattern_language_nonerasing] 13 14 Aliases: pattern languages 15 16 Up: [formal_language]