Revision #793 → #1231 · back to history
addedFormal language274661e4bf44
addedAlphabet (formal languages)b2962940d73d
addedWord over an alphabetc12c2cd0f332
addedKleene star notation for all words306abe91bb1e
addedLength of a worda1b5083bb3ea
addedEmpty word8a02091a8249
addedConcatenation of wordsc8e4edacefef
addedFormal language over an alphabetccbbdf7a757f
addedWell-formed wordb66ba924f645
addedArithmetic-string language L9085ec3d0b27
addedMembership in L: "23+4=555"988ad8fd6cf4
addedFinite language enumeration49112d5ae721
addedEmpty languagec2f1f4a9b1f1
addedInfinite formal languagesf7a8c5d69494
addedConcatenation of languages526f28f054c3
addedIntersection of languages885a143ce3fc
addedComplement of a language271d5ed61a24
addedKleene star of a language7d46cd00eb54
addedReversal of a languageed276ab08186
addedClosure under an operation7e4b24f742ee
addedClosure properties of context-free languages41bbc8ad6427
addedFormal theory83f469017e07
addedFormal system56b630432746
addedFormal proof / derivation0f0f8abbd227
addedTheorem of a formal system0facd243bef8
addedInterpretation of a formal language4a0d9be72ff5
addedModel of a formula68c181ebd3ef