Аннотация:В работе Н. Ким решается две задачи. Первая – дан язык P=0^*1^*. Называем его базисом такое подмножество L ⊂ P, для которого выполнены два условия:
1. любое слово из P можно получить из какого-то слова в L, используя только операции однобуквенного выпадения или только операции однобуквенной вставки;
2. никакое собственное подмножество L уже не удовлетворяет первому условию.
Необходимо было ответить на вопрос, существует ли в P бесконечный базис. Вторая задача состоит в решении той же проблемы для случая P=0^*1^*0^*. Обе задачи успешно решены в данной работе.