半群的自动理论开始于20世纪末，近年来许多学者研究半群的自动理论.本文收集整理了该理论的近期成果和基本的研究方法，以利于读者进一步的学习和研究该理论.本文给出了Gr(o)bner-Shirshov基理论在半群自动性理论中的一些应用.全文共分为五章.　　第一章是预备知识，主要介绍正则语言(regular language)和自动机(au-tomaton)的一些重要概念和结果以及正则语言与自动机、广义序列自动机(generalized sequential machine)之间的关系.本章内容主要来自于[18，21].　　第二章是关于群的自动性理论，主要包括自动群的定义和相关的结果以及Cayley图的几何性质在刻画群的自动性时的重要作用.本章的内容主要来自于[21].　　第三章是关于半群的自动性理论，主要包括四个类型的自动结构的一些重要概念和结果，证明半群自动性常用的方法及自动半群的一些重要性质，可消幺半群和交换半群的自动性的相关结果并给出四个重要的反例.本章的内容主要来自于[13，29].　　第四章是关于半群直积的自动性理论，主要包括自动半群的直积的一些重要概念和结果，介绍了自动半群的直积的性质.本章的内容主要来自于[14，29].　　第五章是关于Gr(o)bner-Shirshov基理论在半群自动性理论中的应用.利用半群的Gr(o)bner-Shirshov基给出了几类半群的自动结构，参见定理5.2.1，5.2.2，5.2.3，5.2.4，5.2.5.本章的主要内容是作者的新的成果.