the system U is time-invariant if f

the system U is time-invariant if for each U, each U, and each U, if U is admissible for U then the translation U is admissible for U, and U.

for systems with outputs, it is also required that O be independent of O.

ผลลัพธ์ (ไทย) 1:

ระบบ U เป็นเวลาไม่เปลี่ยนแปลงถ้าแต่ละ U, U แต่ละ และแต่ละ U, U จะ admissible ใน U แล้วแปล U ว่า admissible U และประเทศสำหรับระบบแสดงผล ก็ยังมีความจำเป็นว่า O จะขึ้นอยู่กับโอ

ผลลัพธ์ (ไทย) 2:

ระบบ U มีเวลาคงที่ถ้าแต่ละ U แต่ละ U และแต่ละ U, U ถ้าเป็นที่ยอมรับสำหรับ U แล้วแปล U เป็นที่ยอมรับสำหรับ U และ U. สำหรับระบบที่มีเอาท์พุทก็ยังเป็นที่ต้องการที่จะเป็นอิสระ O ของทุม

ผลลัพธ์ (ไทย) 3:

ระบบ U เวลาไม่เปลี่ยนแปลงถ้าสำหรับแต่ละ คุณ แต่ละ คุณ และ แต่ละคุณ ถ้า u เป็นที่ยอมรับสำหรับคุณแล้วแปล u เป็นที่ยอมรับสำหรับ U , U .

สำหรับระบบที่มีผล มันก็ต้องเป็นอิสระของ O O