1. Dudakov S., Karlov B. On Decidability of Theories of Regular Languages // Theory of Computing Systems. 2021. V.65. №3. PP.462-487.
Подробно