definition of a valid [[Sentence|sentence]] of a [[Formal Language]].