wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

blocking_factor_minimal (332B)

      1 # Blocking factor minimal
      2 
      3 A [blocking_factor] where no proper [factor] is a [blocking_factor]
      4 
      5 The set of [minimal_blocking_factors] of a [regular_language] is a [regular_language] ([bathie2025trichotomy], Lemma 3.15)
      6 
      7 Up: [blocking_factor]
      8 
      9 Aliases: minimal blocking factor, minimal blocking factors
     10 
     11 See also: [minimal_language]