計算理論とオートマトン言語理論［第２版］　コンピュータの原理を明かす

Ｉｎｆｏｒｍａｔｉｏｎ＆Ｃｏｍｐｕｔｉｎｇ