เรามักจะปล่อยอาร์กิวเมนต์ t และก็เขียน L.หมายเหตุว่า เวลาบล็อก K แล้วเจและ H อิสระ ของ G และในทางกลับกันในกรณีพิเศษที่ F และ D เป็นชุดจำกัด ระบบเวลาไม่ต่อเนื่องเรียกว่าออโตมาตาในวิทยาการคอมพิวเตอร์
เรามักจะวางเสื้อและข้อโต้แย้งก็เขียนลิตรหมายเหตุว่าถ้าเคเป็นเวลาคงที่แล้ว J และ H มีความเป็นอิสระของ G และในทางกลับกัน. ในกรณีพิเศษที่ F และ D เป็นชุด จำกัด ระบบที่ไม่ต่อเนื่องเวลา จะเรียกว่าออโตวิทยาการคอมพิวเตอร์