Waaah! Language theory! So much notation! Waaaaaah!