Порожденные автоматами $p$-языки

Ранее автор ввёл понятие $p-$языка как множества слов, возникающих на выходе некоторого автомата не менее $p$ раз. Было показано, что каждый такой язык регулярен, но оставался вопрос, проверяемо ли свойство произвольного регулярного языка быть языком $p-$типа. Эта задача решена в данной статье.