syntactic calculus
syntactic calculus是什么意思、syntactic calculus怎么读
【计】 语法演算
syntactic calculus汉语翻译
【计】 语法演算