formal language theory in verse form.