wiki_research

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

square_language (236B)

      1 # Square language
      2 
      3 The [formal_language] of all [words] that are [word_squares]
      4 
      5 It is not a [CFL], by immediate application of the [CFL_pumping_lemma]
      6 
      7 Up: [square_word]
      8 
      9 See also: [square_free_word_language], [square_factor_language]