Formal models of computation are suitable for describing discrete, moded dialogues. A mode refers to the variation in the interpretation of a user's input according to an internal state.
highlight the most important assumptions, conclusions, and points of the paper