https://wiki.taigi.ima.org.tw/w/index.php?action=history&feed=atom&title=Lustre%E8%AA%9E%E8%A8%80
Lustre語言 - 修訂紀錄
2026-04-23T10:42:44Z
本 wiki 上此頁面的修訂紀錄
MediaWiki 1.43.1
https://wiki.taigi.ima.org.tw/w/index.php?title=Lustre%E8%AA%9E%E8%A8%80&diff=450138&oldid=prev
TaiwanTonguesApiRobot：從 JSON 檔案批量匯入
2025-08-23T01:54:46Z
<p>從 JSON 檔案批量匯入</p>
<p><b>新頁面</b></p><div>'''Lustre'''是形式化定義的、聲明式佮仝步數的資料流程編程語言，用佇咧回應式系統編程。伊佇一九八空年代前期成做研究專案，受著過 Lucid 語言的影響。這个語言的形式表述會當佇一九九一年的《Proceedings of the IEEE》揣著。佇一九九三年，伊發展進入實際的商業佮工業使用，成做一个商業產品，伊是愛斯特爾技術公司開發的工業環境 SCADE 的核心語言。伊予人用佇空中 bá-suh、空客直升機佮核電廠的關鍵控制軟體中。<br />
<br />
==Lustre 程式的結構==<br />
<br />
Lustre 程式是一系列的「節點」定義，寫為：<br />
<br />
` ` `<br />
node foo ( a : bool ) returns ( b : bool ) ;<br />
let<br />
b=not a ;<br />
tel<br />
` ` `<br />
<br />
遮的 ` foo ` 是節點的名，` a ` 是這个儉點的單一輸入的名，而且 ` b ` 是單一輸出的名。佇這个例中，節點 ` foo ` 倒轉來對伊的輸入 ` a ` 的否定，這是預期的結果。<br />
<br />
===內在變數===<br />
<br />
額外的內部變數會當聲明如下：<br />
<br />
` ` `<br />
node Nand ( X , Y : bool ) returns ( Z : bool ) ;<br />
var U : bool ;<br />
let<br />
U=X and Y ;<br />
Z=not U ;<br />
tel<br />
` ` `<br />
<br />
注意：等式的順序並無重要，走 ` U=X and Y ; ` 和 ` Z=not U ; ` 的順序無改變結果。<br />
<br />
===特殊算子===<br />
<br />
==例==<br />
<br />
===邊仔檢測===<br />
<br />
` ` `<br />
node Edge ( X : bool ) returns ( E : bool ) ;<br />
let<br />
E=false-> X and not pre X ;<br />
tel<br />
` ` `<br />
<br />
==參見==<br />
<br />
* Esterel<br />
* SIGNAL（另外一種面向資料流程仝步語言）<br />
* 仝步數編程<br />
* Lucid ( 程式語言 )<br />
* 資料流程編程<br />
<br />
==參照==<br />
<br />
==外部連結==<br />
<br />
* Synchrone Lab Official website<br />
* SCADE product page<br />
<br />
[[分類: 待校正]]</div>
TaiwanTonguesApiRobot