Optimal Davomat