Permite además el control de los autómatas mediante el acceso a sus variables internas.