是 L = {a^n b^m | n!=3m+1,n,m>=1} CFG？ [关闭]

Question

是 L = {a^n b^m | n!=3m+1,n,m>=1} CFG?
我试图为它编写语法或 PDA，但我做不到。任何帮助都会得到帮助。