Вопросы с тегом «finite-sets»

Насосная лемма для простых конечных регулярных языков

В Википедии есть следующее определение леммы прокачки для регулярных языков ... Пусть обычный язык. Тогда существует целое число ≥ 1, зависящее только от , так что каждая строка в длиной не менее ( называется «длиной накачки») может быть записана как = (т. можно разделить на три подстроки),...

Существует ли известный метод построения грамматики по конечному набору конечных строк?

Из моего чтения кажется, что большинство грамматик занимается созданием бесконечного числа строк. Что делать, если вы работали наоборот? Если задано n строк длиной m, должна быть возможность создать грамматику, которая будет генерировать эти строки и только эти строки. Есть ли известный способ...