Contém classes que manipulam um autômato