オートマトンの問題で、
Σ = { a , b }とする。以下の命題の真偽を簡単な理由（証明は不要）とともにのべよ。
(1) Σ上の言語{ a^n b^n | 1000<= n} は正則である。（nは0を含む自然数）
(2)Σ上の言語{ a^m b^n | n + m = 3l　を満たすlが存在する} は正則である。
(3)Σ上の言語{ a^m b^n | n = m + 3l　を満たすlが存在する} は正則である。
(4)Σ上の言語{ a^n w b^n | w ∈Σ、100 <= |w| } は正則である。

よろしくお願いします