In this paper, we investigate dynamical systems with flip maps,
which can be regarded as infinite dihedral group actions. We
introduce a zeta function for flip systems, and find its basic
properties including a product formula. When the underlying
$\mathbb{Z}$-action is conjugate to a topological Markov shift,
the flip system is represented by a pair of matrices, and its zeta
function is expressed explicitly in terms of the representation
matrices.