การทวนสอบ

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