数灯亮几次

有限自动机能数数，但只能数固定花样。比如"红灯亮的次数是不是双数"，用两个状态"单、双"来回翻就够了。可要它数"任意大的数并全部记住"，房间就不够用了。