Notes for authomoton