kleene star 中文意思是什麼
kleene star
解釋
kleene閉包-
4. interval temporal logic ( itl ) is a temporal logic which includes a basic construct for the sequential composition of two formulas as well as an analog of kleene star
間斷式時序邏輯( itl )是時序邏輯的一種,它包含一個由兩個公式的連續成分所構成的基本結構和一個kleene星的類似體。
分享友人