  In this paper we define a topological class of branched covering maps of the
plane called {\em topological exponential maps of type $(p,q)$} and denoted by
$\TE_{p,q}$, where $p\geq 0$ and $q\geq 1$. We follow the framework given in
\cite{Ji} to study the problem of combinatorially characterizing an entire map
$P e^{Q}$, where $P$ is a polynomial of degree $p$ and $Q$ is a polynomial of
degree $q$ using an {\em iteration scheme defined by Thurston} and a {\em
bounded geometry condition}. We first show that an element $f \in {\TE}_{p,q}$
with finite post-singular set is combinatorially equivalent to an entire map $P
e^{Q}$ if and only if it has bounded geometry with compactness. Thus to
complete the characterization, we only need to check that the bounded geometry
actually implies compactness. We show this for some $f\in \TE_{p,1}$, $p\geq
1$. Our main result in this paper is that a post-singularly finite map $f$ in
$\TE_{0,1}$ or a post-singularly finite map $f$ in $\TE_{p,1}$, $p\geq 1$, with
only one non-zero simple breanch point $c$ such that either $c$ is periodic or
$c$ and $f(c)$ are both not periodic, is combinatorially equivalent to a
post-singularly finite entire map of either the form $e^{\lambda z}$ or the
form $ \alpha z^{p}e^{\lambda z}$, where $\alpha=(-\lambda/p)^{p}e^{- \lambda
(-p/\lambda)^{p}}$, respectively, if and only if it has bounded geometry. This
is the first result in this direction for a family of transcendental
holomorphic maps with critical points.
