規約

規約

規約,一般是指在國際社會具有重大意義的條約,通常指國際組織的章程。例如,1966年《經濟、社會及文化權利國際公約》、1945年《聯合國憲章》、1924年《國際聯盟盟約》、1945年《國際法院規約》。

法律術語,編譯原理,

法律術語

如《國際法院規約》、《歐洲委員會規約》等。在國際聯盟時期,“規約”一詞常被用於確定特殊水域的國際管理制度的條約,如1921年《國際性可航水道制度公約及規約》。

編譯原理

推導的逆過程稱為規約。規約就是選擇一個文法規則:X→ABC,依次從棧頂彈出C、B、A,再將X壓進棧。規範規約是文法中句子的一個最右推導的逆過程,而最左推導對應的是最右規約。
另外在程式設計中的規約:∏和∏'是兩個判定性問題,如果存在一個確定性算法A使得對於一個∏的實例I,A可以將I在多項式時間裡轉換成∏'的實例P,使得I得到肯定的回答,若且唯若I'得到肯定回答,則稱∏在多項式時間裡規約到∏',記為∏∝poly∏'.

相關詞條

熱門詞條

聯絡我們