เครื่องจักรทัวริง

ออโตมาตาเพื่อการทวนสอบระบบเชิงเวลา