形象程式設計語言

　　用圖形符號描述計算任務的處理物件和處理過程的語言。傳統語言是由正文表示的一維字串結構，而形象程式設計語言則是由圖形符號的空間排列表示的多維結構。

　　20世紀50年代電腦科學中就引入瞭描述計算過程的邏輯圖概念，以後又逐步規範化為流程圖，作為程式設計的輔助工具。60年代形成瞭最早的形象程式設計語言。1969年首次實現用流程圖表示計算步驟並直接編譯成執行程式。非流程圖式形象程式設計語言把程式和資料都表示成有向圖，程式用模式匹匹配進行操作，相當復雜的算法（如存儲碎片收集）都可以生動地描述成圖上的局部變換。第三類形象程序設計語言稱為HiGraphs，1988年建立，它允許結點中包含其他結點，限制產生專用的形象程序設計語言。第四類形象程序設計語言如實例查詢語言(QBE，1977)，允許用戶用二維表格指出在關系數據庫上的查詢。第五類是Petri網式語言，這種程序執行時用戶可以看到令牌在網上移動的程序動畫。第六類是數據流圖式形象程序設計語言。第七類是自動生成用戶界面的形象程序設計語言。這些形象程序設計語言都體現瞭用圖形來進行編程的特點。

　　形象程序設計語言的實現要求為它建立一個實現環境，稱為形象語言程序開發環境。圖符編輯程序負責編輯形象語言程序P的圖符，經模式分析程序把空間結構的圖形程序變換成模式串，語法分析程序由模式串產生P的分析樹，經語義映射程序得到P含義（程序的機內表示），再通過解釋程序執行或經編譯程序產生可執行代碼。為瞭支持大型系統，環境中還應該有數據庫、視圖工具、瀏覽程序、項目管理程序等工具。