Tài liệu Ôtômát hữu hạn

2.1 Accepter hữu hạn đơn định
2.2 Accepter hữu hạn không đơn định
2.3 Sự tương đương giữa accepter hữu hạn đơn định và
accepter hữu hạn không đơn định
2.4 Rút gọn số trạng thái của một ôtômát hữu hạn