Grammatical Specification of Human-Computer Dialogue

摘要

The Seeheim Model of human-computer interaction partitions an interactive application into a user interface, a dialogue controller, and the application itself. One of the formal techniques of implementing the dialogue controller is based on context-free grammars and automata. This technique has lain fallow now for a number of years. In this work, we modify an off-the-shelf compiler generator (YACC) to generate the dialogue controller. The dialogue controller is then integrated into the popular X-window system, to create an interactive-application generator. The actions of the user drive the automaton, which in turn controls the application.