To see why this language cannot be correctly recognized by a finite state machine, assume first that such a machine M exists.
Da bi se vidjelo da ovaj jezik ne može prepoznati konačni automat, neka se prvo pretpostavi da takav automat M {\displaystyle M} postoji.