Further developments toward using formal grammar as a design tool

First, we will describe how some kinds of “cognitive” information can be incorporated into a formal grammar. This information will permit us to describe a system, formally, for different classes of users. Most current models are limited to specific classes of users. They do not, for example, permit us to describe a system differently for naive and for expert users.