regular-language - 順序付き言語が規則的であることをどのように証明しますか?

Question

順序制約のある言語が規則的であることを証明する方法を知りたいです。たとえば、Σ = {1,2,3,4,5} で、L (Σ* のサブセット) = (a1,a2,...an) で、an+1 が an よりも大きい場合、これが正規言語であることを証明しますか？

たとえば、α = (1,3,5) は受け入れられますが、α = (1,4,5,2) は受け入れられません。