L={a^i*b^k | (i+k)%3==0; i,k>=0} שפה רגולרית? ואיך להוכיח?