information-lossless finite state machine

• 信息无丢失有限自动机