The ω-Regular Post Embedding Problem ⋆