A modification of pushdown automata is suggested as the principal structure of user interfaces. This paper applies techniques from automata theory and compiler design to software engineering. The method is only concerned with the sequence of the interactions between man and machine; it is not concerned with any of the spatial aspects of the interface. The relevance of this method to graphics derives from its attention to device independence, a subject of much concern in the standards business.