1. Dudakov S., Karlov B. On Decidability of Theories of Regular Languages // Theory of Computing Systems. 2020
Подробно