wiki_research

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

derivative (342B)

      1 # Derivative
      2 
      3 https://en.wikipedia.org/wiki/Brzozowski_derivative
      4 
      5 Given a [word] u and a [formal_language] L, the *derivative* of L by u, written u^{-1} L, is the set of [words] v such that we have uv in L
      6 
      7 We can also define the *derivative* of a [formal_language], cf [quotient_formal_language]
      8 
      9 See also: [variety]
     10 
     11 Up: [formal_language]