Простой, формально определенный язык для обучения компилятору

Я ищу простой, формально определенный язык, который можно использовать при изучении конструкции компилятора. Реализация первого прохода должна быть простой, а затем допускать дальнейшие усилия по оптимизации.

Не стесняйтесь указывать мне на шепение, но я специально ищу и другие варианты.