オートマトンや形式言語の概念を直観的に理解できるように配慮した、コンパクトなテキストです。図や例を豊富に用いるとともに、理解を深めるのに重要な定理については例を用いて証明の流れを説明していますので、難解になりがちな数学的内容をつまずくことなく学べます。つまずきやすい点を意識して説明を補っていますので、初めて学ぶ読者におすすめの一冊です。