''Formale Sprachen'' können auf verschiedenste Art und Weise definiert sein: durch Aufzählung ihrer Elemente (im endlichen Fall), über eine logische Bedingung an die enthaltenen Elemente, durch einen mengenalgebraischen Ausdruck, über ein Generierungsverfahren, über ein Erkennungsverfahren usw.
''[[Informatik]], [[Linguistik]], [[Mathematik]]'': eine (endliche oder unendliche) Menge von Zeichenfolgen über einem endlichen Alphabet von Zeichen