Language Theory and Compilation