计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2008年
7期
157-160
,共4页
丁志义%李全德%宋国新%邵志清
丁誌義%李全德%宋國新%邵誌清
정지의%리전덕%송국신%소지청
谓词转换器%状态转换器%指称语义
謂詞轉換器%狀態轉換器%指稱語義
위사전환기%상태전환기%지칭어의
文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的.
文中討論瞭謂詞轉換器和狀態轉換器之間的對應關繫,將謂詞轉換器作為命令的指稱,刻畫瞭IMP語言命令的指稱語義,併證明與狀態轉換器形式的指稱語義是等價的.
문중토론료위사전환기화상태전환기지간적대응관계,장위사전환기작위명령적지칭,각화료IMP어언명령적지칭어의,병증명여상태전환기형식적지칭어의시등개적.
