property_testing_formal_language (969B)
1 # Property testing formal language 2 3 - [alon2001regular] on [regular_languages] 4 - [Otilde](1/ε) bits are enough to know [with_high_probability] whether you need to change at least εn positions to belong to the target [regular_language] 5 - more precisely O(log^3(1/ε) / ε) 6 - uses [hamming_distance] 7 - [ndione2013approximate] for [levenshtein_distance]: 8 - uses the [levenshtein_distance], which is weaker 9 - but the result is wrong according to [bathie2021property] 10 - [bathie2021property] on [regular_languages] 11 - uses the [levenshtein_distance], which is weaker 12 - [bathie2025trichotomy] on [regular_languages] 13 - uses the [hamming_distance] 14 - gives a precise description of the complexity as a function of ε 15 - [francois2015streaming] on [visibly_pushdown_languages] 16 - [fischer2010approximate] for [edit_distance_with_moves] 17 - called "approximate satisfiability" 18 19 Up: [property_testing], [formal_language] 20 21 Aliases: property testing formal languages