С этого все начинается. Там и семантика есть. Всякие более сложные системы типа HPSG, LFG, и т.д. завязаны на формальные языки.
Даже если вы почитаете статьи про то, как тренинировать парсер для естественного языка, то там в основе будет лежать стековый автомат (т.е. LR грамматика), ну а к нему еще придумают модные слова типа Oracle. Я бы советовал разобраться откуда ноги растут.