Finalmente, la construcción del autómata es así: