regex (405B)
1 # Regex 2 3 [regular_expression] with [back_references] 4 5 [membership_problem] for Regex is [np_complete] 6 - already for [patterns_with_variables] 7 8 can be translated to [FCreg] if there is no variable under [kleene_star] 9 10 in [practice], cf [havlena2026towards] 11 12 [regex_deterministic] 13 14 Up: [regular_expression] 15 16 Aliases: regular spanner, regular spanners 17 18 See also: [context_free_grammar], [regex_fine_grained]