3 ms·Yes it is an attempt at being a formal model of that language.by opnitro 5y agoYes it is an attempt at being a formal model of that language.