Yes it is an attempt at being a formal model of that language.