Languages
lThere are lots of languages, some very weird.

lTo be of computational interest, a language needs to be defined inductively.

lWe need a way of telling whether a given string is in the language or not
(called parsing the string).