Factorization in monoids and rings

Let $H^\times$ be the group of units of a multiplicatively written monoid $H$. We say $H$ is acyclic if $xyz \ne y$ for all $x, y, z \in H$ with $x \notin H^\times$ or $z \notin H^\times$; unit-cancellative if $yx \ne x \ne xy$ for all $x, y \in H$ with $y \notin H^\times$; f.g.u. if there is a finite set $A \subseteq H$ such that every non-unit of $H$ is a finite product of elements of the form $uav$ with $u, v \in H^\times$ and $a \in A$; l.f.g.u. if, for each $x \in H$, the smallest divisor-closed submonoid of $H$ containing $x$ is f.g.u; and atomic if every non-unit can be written as a finite product of atoms, where an atom is a non-unit that does not factor into a product of two non-units. We generalize to l.f.g.u. or acyclic l.f.g.u. monoids a few results so far only known for unit-cancellative l.f.g.u. commutative monoids (cancellative monoids are unit-cancellative, and a commutative monoid is unit-cancellative if and only if it is acyclic). In particular, we prove the following: $\bullet$ If $H$ is an atomic l.f.g.u. monoid, then every non-unit has only finitely many factorizations (into atoms) that are "minimal" and "pairwise non-equivalent" (with respect to some naturally defined relations on the free monoid over the "alphabet" of atoms). $\bullet$ If $H$ is an acyclic l.f.g.u. monoid, then it is atomic; and moreover, each element has only finitely many "pairwise non-equivalent" factorizations if we additionally assume $H$ to be commutative.