Карлов, Б. Н. Теория автоматов и формальных языков : учебник / Б. Н. Карлов. — Тверь : Тверской государственный университет, 2021. — 404 с. — Текст : электронный // Электронный ресурс цифровой образовательной среды СПО PROFобразование : [сайт]. — URL: https://profspo.ru/books/130375 (дата обращения: 04.10.2026). — Режим доступа: для авторизир. пользователей