property_testing_formal_language (824B)
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 - uses [hamming_distance] 6 - [ndione2013approximate] for [edit_distance]: 7 - but the result is wrong according to [bathie2021property] 8 - [bathie2021property] on [regular_languages] 9 - uses the [levenshtein_distance], which is weaker 10 - [bathie2025trichotomy] on [regular_languages] 11 - uses the [hamming_distance] 12 - gives a precise description of the complexity as a function of ε 13 - [francois2015streaming] on [visibly_pushdown_languages] 14 - [fischer2010approximate] for [edit_distance_with_moves] 15 - called "approximate satisfiability" 16 17 Up: [property_testing], [formal_language]