「關於編譯器的一些想法」修訂間的差異

跳至導覽 跳至搜尋

關於編譯器的一些想法 (檢視原始碼)

於 2022年1月11日 (二) 19:36 的修訂

增加 150 位元組 、 2022年1月11日 (二) 19:36
無編輯摘要
行 37： 行 37：
===迴圈如何變成尾遞迴===
===迴圈如何變成尾遞迴===


$$while(condFunction(x~[,y,...]))\{\newline
<math>
bodyExp_1[, bodyExp_2,...]\newline
\begin{align}
\}
& while(condFunction(x~[,y,...]))\{\\
$$
& bodyExp_1[, bodyExp_2,...]\\
& \}\\
\end{align}
</math>


其中 $bodyExp_n$ 可以為下列之一：
其中 $bodyExp_n$ 可以為下列之一：


- $oldVar_j := f(calledVar_1, [calledVar_2,...])$
* <math>oldVar_j := f(calledVar_1, [calledVar_2,...])</math>
-  $newVar_j = f(calledVar_1, [calledVar_2,...])$
* <math>newVar_j = f(calledVar_1, [calledVar_2,...])</math>
- $f(expression_i)$ 當然還有部分調用、全部調用
* <math>f(expression_i)</math> 當然還有部分調用、全部調用
- $isolatedVar$
* <math>isolatedVar</math>
- $consonant$
* <math>consonant</math>


可以分析 $oldVar_j$ 有哪些？$newVar_j$有哪些？
可以分析 <math>oldVar_j</math> 有哪些？<math>newVar_j</math>有哪些？


設$oldVarSet = \{oldVar_i|i = 1,2,...,n\}$，$calledVarSet = \{calledVar_i|i = 1,2,...,n\}$ 則
設<math>oldVarSet = \{oldVar_i|i = 1,2,...,n\}</math>，<math>calledVarSet = \{calledVar_i|i = 1,2,...,n\}</math> 則


$iteratedVarSet = oldVarSet\cap calledVarSet$
<math>iteratedVarSet = oldVarSet\cap calledVarSet</math>


while 迴圈就可以變成新的遞迴函數 $recFunc$，如下：
while 迴圈就可以變成新的遞迴函數 <math>recFunc</math>，如下：


  $recFunc(all~x~from~iteratedVarSet)\{\newline
  <math>& recFunc(all~x~from~iteratedVarSet)\{\\
if(condFunction)\{\newline
& if(condFunction)\{\\</math>
newBodyExp_i\newline
& newBodyExp_i\\
return~~recFunc(...)\newline
& return~~recFunc(...)\\
\}
& \}
  \}$
  \}</math>
   
   
==對字串的思考==
==對字串的思考==
取自「https://kianting.info/wiki/w/特殊:手機版差異/247」

導覽選單