wiki_research

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

unambiguous_star_free_language (320B)

      1 # Unambiguous star-free language
      2 
      3 Described in [mathematical_foundations_of_automata_theory]
      4 
      5 - Base case: languages B^* for B a subalphabet of the alphabet
      6 - Closed under [union] and [unambiguous_marked_product]
      7 
      8 Algebraic characterizations
      9 
     10 Up: [star_free_language], [unambiguity]
     11 
     12 See also: [generalized_star_height]