高级检索

    XYZ/G语言的形式语义(Ⅰ)

    • 摘要: XYZ/Go的形式定义 1.语法和语法域(Syntactic domains) 在写语义时,语法结构最好是用McCarthy的抽象语法来表示,因为这样可以略去一些与语义无关的表示细节,使语义定义简洁。但为了直观可读性,下述语法是介于XYZ/Go具体

       

    /

    返回文章
    返回