formal-languages - 文脈依存でチューリング完全な形式言語

Question

文脈依存文法を指定できるものを知っていますか? たとえば、* シンボル ポインター/乗算のあいまいさの解決。このような曖昧さを解決できる形式言語を探しています。私が探している言語は、適切に指定する必要があります。

編集: BNF のようなものを探していますが、状況に応じたものにする必要があります。実際には、 Dangling else の問題を解決できるはずです。