形式言語論わからん!!

大学の授業の形式言語論のレポートで教科書の問題をやらないといけないのだけれど、全然わかりません。とくに証明。

L=\{0^x1^y|x=y>0\}

が正規言語ならそれを認識する有限オートマトンを作成して、そうでなければ正規言語でないことを証明せよ、というもの。これの形を変えたものが教科書の中で正規表現でないものとして証明されているのだけれど、それを読んでも意味がわからん・・・。