Новый критерий обобщения
TonitaN opened this issue · comments
Свершилось: удалось доказать нётеровость любой последовательности однозначных образцов относительно вложения их языков. В связи с чем, поскольку точного критерия однозначности образца пока нет, в качестве временной меры действуем через линал.
- Разбиваем образец на фрагменты плоского разбиения
- Строим матрицу кратностей параметров типа выражение во фрагментах и находим её ранг
Если ранг этой матрицы совпадает с числом параметров, обобщение делать не надо.
Интересно будет поэкспериментировать ещё с построением сливающих подстановок. Возможно, этот приём окажется более полезен именно там.