2 problems

Greedy 0-monoid conjecture. The formal power series $g(x)$ is a regular semi-upho function if and only if it admits an infinite greedy $0$-monoid series $\{M_k^0\}_{k\ge 1}$.

Regularity conjecture. Every finitary semi-upho poset is regular.