A few automatas.