計算機教育信息流體系結(jié)構

李暉

（武漢大學計算機學院，湖北武漢 430072）

Jsjjyxxl 抽象具體化概念，通過一組計算關鍵詞解析說明，深化理解。計算體系由計算機硬體體系和軟體體系合成?；谟搀w體系，面對不同確定應用領域（或稱定義域），可開發(fā)不同的軟體體系，并以各自的計算語句集，與硬體體系交互鏈接，計算處理定義域?qū)ο蟆＿@個計算語句集，記為Jsjjyxxl。Jsjjyxxl 遂成為所有軟體體系共用的抽象概念，但不同定義域的軟體體系，它們的Jsjjyxxl 計算語句集各不相同，對于不同軟體體系，視為Jsjjyxxl 一次具體化實現(xiàn)。提供自身定義域所有可計算處理問題（P），計算處理時需要的所有計算語句。

1 Jsjjyxxl 抽象具體化過程

作為一個特例，匯編語言軟體體系，包含UNIX 操作系統(tǒng)，形成的計算語句集合，直接定義于硬體，可視為Jsjjyxxl 一次具體化實現(xiàn)。

UNIX 完全仿真于計算機硬體，體現(xiàn)計算機硬體結(jié)構特征，充分完美地表達計算機硬體體系結(jié)構、計算方式和基本的計算能力；以UNIX 為基礎，開發(fā)的匯編語言軟體體系，它的定義域限于數(shù)字領域，適用于數(shù)字科學計算。但遠不足以作為一個更通用操作指令系統(tǒng)（Czzlxt），開發(fā)能力更強軟體體系，在更寬廣的領域，為更多對象類型，處理可計算問題（P）。

一般來說確定Czzlxt 仍然嚴格地建立在硬體體系基礎上，同時有賴于開發(fā)軟體體系的定義域，形成確定的運算符系列，系統(tǒng)地刻畫施加于定義域?qū)ο蟮乃胁僮餍螒B(tài)和方式方法，才能形成有效的Jsjjyxxl，完成P 計算過程的計算語句系列（Pjsxxl）。正因為如此，自UNIX 開始，經(jīng)歷ALGOL-60、BISCAL、PASCAL 到C 語言，其后隨著網(wǎng)絡和AI 智能應用領域發(fā)展，不斷更新豐富計算語句集合，也就是Jsjjyxxl 不斷更新具體化。時至今日，還在不斷發(fā)布新的軟體體系，意味著流經(jīng)計算機的語句信息及其信息流結(jié)構也隨之相應發(fā)展，不斷滿足現(xiàn)實世界實現(xiàn)數(shù)字化社會的要求。

語言發(fā)展過程，正好體現(xiàn)計算機發(fā)展的科學規(guī)律，展現(xiàn)一些基本性發(fā)展特征：

（1）語言發(fā)展的動力來源于現(xiàn)實需求，最重要的目的是提升計算能力，擴大計算對象，開拓更大應用領域。如C 語言，數(shù)據(jù)結(jié)構豐富，具有鏈表、樹和棧多類高級數(shù)據(jù)類型，極大地擴大了計算處理對象；

（2）C 的運算類型極其豐富，表達式類型多樣化，靈活使用各種運算符可以實現(xiàn)在其它高級語言中難以實現(xiàn)的運算；

（3）后期發(fā)展語言對它們前期語言的運算符號，皆有包容性或兼用性, 如C 語言能實現(xiàn)匯編語言大部分功能，可以直接對硬件進行操作，既是高級語言，又具有低級語言功能；

（4）運算符精細設計，成為提升計算能力的基本功。從UNIX 拾多個運算符到C 語言32 個運算符，實現(xiàn)了計算能力能級跨越，從數(shù)值計算進入到數(shù)據(jù)結(jié)構處理，極大地擴大應用領域，深入到社會生活更一般對象處理。精細化運算符設計方向，引導其后語言發(fā)布，向著逐進深入數(shù)字化智能社會發(fā)展，導致對更多更智能化可計算問題（P）處理能力。[2]

2 jsjjyxxl 形式定義

不同計算語言，皆有對應抽象jsjjyxxl，語言發(fā)展過程，則視為抽象jsjjyxxl 具體化過程。依據(jù)圖靈可計算理論，存在這樣的語言，它的運算符滿足可計算理論，這樣語言的運算符系列就是jsjyxxl 最大具體化計算語句系列。

Jsjjyxxl 是有限計算語句系列抽象概念，還不是一個具體真實計算過程信息流，泛稱可計算問題計算過程信息流，但可視為這些可計算問題（P），計算過程的計算語句信息流（Pjsxxl）載體。

歸結(jié)上面的討論，現(xiàn)在正式定義jsjjyxxl 形式定義。

對任何可計算（P），必然存在一個Pjsxxl，

其中k＞0 是一個有限整數(shù)。并且，P 可計算性，認定存在PJsxxl，表達實際運算過程，實現(xiàn)P 計算表達式,

正確計算，其中X 為定義域，Y 為值域。即，pjsxxl 運行等效于實施（2）的計算。綜合（1）（2）將得到下面表達式（3），稱為jsjjyxxl 形式定義。

jsjjyxxl 形式定義：在jsjjyxxl 上，直接實施P 計算。意味著P 的計算結(jié)構F，展開成計算語句系列pjsxxl，T 表示表達式成立，并確認Y 就是P 計算結(jié)果值。

特別值得指出：

（1）（3）式Pjsxxl 是軟體結(jié)構F 計算語句線性展開系列；

（2）依據(jù)圖靈計算理論，任何可計算問題（P），存在一個軟體結(jié)構，它的jsjjyxxl，實現(xiàn)F 的Pjsxxl。

3 Jsjjyxxl 生成形式模式

（3）式實際上慨括了這個模式。 jsjjyxx 是計算體系語句集合，如（3）式說明，該計算系統(tǒng)任何可計算問題（P），pjsxxl 的每個計算語句都屬于jsjjyxx。因此jsjjyxx 稱為該計算系統(tǒng)計算語句抽象集合。不僅如此，jsjjyxx 生成過程，還形成計算系統(tǒng)形式結(jié)構。

軟件體系包含操作系統(tǒng)和服務軟件兩部分，即，在操作系統(tǒng)的基礎上，開發(fā)面向社會應用軟件系統(tǒng)（服務軟件），以鍵盤為操作平臺，通過操作系統(tǒng)，進入計算機硬體，進行用戶要求的實時處理，操作系統(tǒng)則稱為人-機交互接口。

Jsjjyxxl 抽象概念，是一個通用性概念。凡是軟體體系，都必定形成本系統(tǒng)的Jsjjyxxl。因此現(xiàn)有的計算語言，能夠開發(fā)專用于該語言軟體體系。首先定義一組運算符，處理其定義域的計算對象，形成該定義域操作指令系列，得以形成Jsjjyxxl。（3）式說明，每個可計算對象計算語句系列pjsxxl，其中每個計算語句都來自Jsjjyxxl。

（3）式從形式上定義Jsjjyxxl，該定義蘊含Jsjjyxxl 抽象具體化過程的形式結(jié)構。這個形式結(jié)構將貫穿計算概念：從運算符系列，形成操作指令系列，到計算語句系列定義及其計算結(jié)構，伴隨軟體體系系統(tǒng)軟件生成，最終形成該語言的jsjjyxxl。總之，每個語言都經(jīng)歷一次這樣的具體化過程，生成它的計算體系，同時生成該語言的jsjjyxxl。

計算體系的軟體體系由操作指令系列和系統(tǒng)軟件兩部分合成；系統(tǒng)軟件定義域就是它面對的數(shù)據(jù)對象集合，并為規(guī)范定義域數(shù)據(jù)對象的運算處理，定義一組運算符，確定語句形態(tài)和語法規(guī)則，以及計算過程語句系列的計算結(jié)構。

綜上所述，Jsjjyxxl 抽象具體化過程也正好隨著圖1[1]模塊系統(tǒng)地展開，形成它生成的形式結(jié)構。

4 Jsjjyxxl 生成形式結(jié)構

上面的討論規(guī)范為一種模式，適用于任何計算語言，隨著Jsjjyxxl 抽象具體化，生成計算系統(tǒng)軟體體系的系統(tǒng)軟件。

這個模式也是一種通用模式。對于更大的綜合性更強的軟體體系如Windows 系統(tǒng)也是正確的。這些軟件或稱系統(tǒng)軟件的服務軟件。

自X-500,NDS 和Exchange 到1993 年Server 起，Nevell 的NDS，Windows NT, Wondows 2000 Server。NDS的發(fā)布被認為是一次計算的突破，從Windows NT,到Wondows 2000 Server,實現(xiàn)目錄管理服務，更被視為革命性的進步。[3]

這些大型軟體體系，類似于基于UNIX 數(shù)值計算的軟體體系的開發(fā)。它們的開發(fā)也必須遵循上述一般軟件體系開發(fā)模式。所有軟體體系，不論規(guī)模大小和復雜程度如何，它們的Jsjjyxxl 抽象具體化過程的形式結(jié)構也基本上相同。

jsjjyxxl 一次抽象具體化，意味著：計算體系（jstx）一個確定軟體體系（rttx）在其硬體體系（yttx）上的實現(xiàn)。于是三者合成圖1，稱為jsjjyxxl 形式體系單位樹。

圖1 jsjjyxxl 形式體系單位樹

這顆單位樹，將基于圖1[1]模型，轉(zhuǎn)換成生成jsjjyxxl形式結(jié)構體系。計算概念系列遂成為規(guī)劃教學計劃的主軸。貫穿于圖1[1]教學進程，逐步展現(xiàn)jsjjyxxl 抽象具體化過程。并以線上線下混合教學模式,，實現(xiàn)圖1[1]的教學規(guī)劃。

單位樹根節(jié)點（gjd）為計算體系（jstx），兩個葉節(jié)點（yjd）分別是yttx 和rttx。以圖1[1]為基礎，兩個yjd 各自生成自己的單位樹，分別顯示于圖2 和3，也就是分解圖1[1]成兩部分，即yttx 單位樹的yjd，就是計算機系統(tǒng)（圖1[1]）成為唯一yjd，圖3 rttx 單位樹的yjd 為圖1[1]其余4 個模塊（數(shù)據(jù)、計算語言、軟件工程和計算機網(wǎng)絡）。自然意味著：計算體系gjd dws 定位于圖1[1]的5 個模塊，形成它的yjd 單位樹，也是它的第二級子節(jié)點（zjd）；最終意味著：jsjjyxxl 形式體系將在圖1[1]的系統(tǒng)上生成。致使4 個軟體模塊將在硬體模塊上嚴格制約下實現(xiàn)它們的功能。

圖2 yttx 單位樹

圖3 rttx 單位樹

從計算體系單位樹gjd 到它的第二級yjd，顯示gjd抽象度逐層降低趨勢。事實上，從第二級葉節(jié)點進一步生長它們的yjd，其抽象度將會進一步降低，葉節(jié)點單位樹進一步生長過程，直至某個第k（＞0 有限整數(shù)）層，它的所有節(jié)點都成為計算語句葉節(jié)點，不能再生成單位樹為止。至此，jstx gjd 全樹生成，它的所有yjd 合成jsjjyxxl。如是得到結(jié)論：jstx gjd 功能逐層解析過程，也就是隨著它的抽象度逐層降低，直至k（＞0 有限整數(shù)）層，所有yjd皆為計算語句，最終生成rttx 的jsjjyxxl，或者說，k 層葉節(jié)點集合即jsjjyxxl。

該結(jié)論正確性可以形式邏輯證明。本文在下面僅給以簡單說明。

這個過程演繹jstx yttx 直接生成rttx，形成該rttx 的jsjjyxxl。硬體系統(tǒng)成為硬化計算概念系列的硬化模型，規(guī)范軟件體系，在約定運算符系列基礎上，生成計算系統(tǒng)的系統(tǒng)服務軟件。運算符系列確定rttx 的操作指令系列，確定軟件體系服務軟件的定義域，并生成jsjjyxxl，為服務領域?qū)ο筇幚硖峁┧械挠嬎阏Z句。

最簡單的例子，就是直接以數(shù)字運算的運算符，如，加、減、乘和除，以及若干邏輯運算符，直接定義運算符系列，形成UNIX 操作系統(tǒng)，并隨著圖1[1]教學演繹過程，生成匯編語言服務軟件，同時伴隨著具體化的jsjjyxxl 語句形成，滿足數(shù)學科學計算。

jsjjyxxl 語句，隨著jstx gjd 功能抽象具體化過程生成步驟：

（1）Sjxt（圖3）（數(shù)據(jù)結(jié)構模塊圖1[1]）規(guī)定數(shù)據(jù)類型，形成rttx 定義域，規(guī)劃、設計運算符系列（ysfxl）；

（2）ysfxl 進入子節(jié)點yttx（圖2，jsjxt（圖1[1]），其操作指令譯碼器（czzlymq）進行識別編譯，如果識別編譯成功，則對ysfxl 進行硬化處理：依次編序和符號語義硬化。形成rttx 的czzlxl，否則修改ysfxl 或必要時jsjxt 適當調(diào)整，直至rttx 的czzlxl 形成；

（3）yyxt（圖3，計算語言模塊（圖1[1]），依據(jù)ysfxl 每一個運算符號，生成rttx 計算語句系列（jsyjxl），如C 語言，計算語句的基本形式歸類9 類，其中第一類稱為表達式語句，有7 類表達式語句，而控制語句則有5 類；

（4）軟件結(jié)構rjjg（圖3），即軟件工程模塊（圖1[1]），形成該rttx 任何任何可計算問題（P）計算語句系列（jsyjxl）的rjjg（公式（3）之F）；

（5）計算網(wǎng)絡（wl），提供rttx jsyjxl 進入定義域數(shù)據(jù)通道接口語句。

總之，jstx gjd 功能抽象具體化，基于計算機教育體系模塊（圖1[1]）逐層降低過程，直至某個第k（＞0 有限整數(shù)）層，它的所有節(jié)點都成為計算語句葉節(jié)點皆為計算語句（jsyj），至此jstx gjd 到K 層葉節(jié)點形成一個網(wǎng)絡型形式結(jié)構，jsjjyxxl 語句集生成，并且從jstx gjd 到jsjjyxxl每個語句有一條連通路徑。形式邏輯理論即可證明它的正確性。

5 結(jié)論

jsjjyxxl 形式定義（3），將建立計算體系開發(fā)應用領域軟體體系、確定計算體系計算能力并有助于開發(fā)應用軟件，滿足社會數(shù)字化需求。