In
formal language theory, a
language is a
possibly infinite set of
finite sequences of
symbols from a finite set.
Symbols can represent types of events, words in a sentence, or anything else. Formal language theory studies just the form of language, not its interpretation.
The classes of languages studied most intensively are those of the Chomsky hierarchy.