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 จะขึ้นอยู่กับโอ

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

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

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