【摘要】 讨论了人机界面的分类及特点，介绍了图形用户界面的重要性及实用性；引入了回溯自动机作为定义人机界面的一种抽象数学模型，并采用该模型给出了图形用户界面的形式化描述更多还原

【Abstract】 The categories and characteristics of HCI (HumanComputer Interface) are discussed, with emphasis on the importance and usability of GUI (GraphicUser Interface). An abstract model of TA (Traceable Automator) is given to define GUI.更多还原