Source: https://web.cs.ship.edu/~djmoon/automata/automata-notes/automata-rls.pdf