wiki_research

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

formal_language (535B)


      1 # Formal language
      2 
      3 A [set] of [words] over an [alphabet]
      4 
      5 - [empty_language]
      6 - [singleton_language]
      7 - [finite_language]
      8 - [regular_language]
      9 - [weighted_language]
     10 - [visibly_pushdown_language]
     11 - [context_free_language]
     12 - [formal_language_operator]
     13 - [slice]: [subset] of the [words] of a certain [length]
     14 - [density_function]
     15 - [language_unary]
     16 
     17 - [computational_problems]: [formal_language_computational_problems]
     18 
     19 Up: [formal_language_theory]
     20 
     21 See also: [neutral_letter]
     22 
     23 Aliases: formal languages, language formal, languages formal