Conversation
TonitaN
left a comment
TonitaN
left a comment
There was a problem hiding this comment.
Вариант 1 - предложения по улучшению.
TonitaN
left a comment
TonitaN
left a comment
There was a problem hiding this comment.
Пока только про первые две, сочинение про третью задачу позже)
Про третью, есть мысль, что язык регулярный, из-за того, что v допускает почти произвольные строки. Но пока еще не совсем дошел до того, как это можно оформить и доказать |
|
Ну насчёт регулярного вы прямо погорячились, см. слово |
И все же она Как я понял, нам ничего не мешает разбить слово так |
|
Прошу прощение за долгое отсутвие какой-либо активности. Старался дозакрыть лабы и поправить здоровье. Пока каждое идет с переменным успехом, но нашел время и силы подробнее расписать эти варианты |
Эх... условие |
TonitaN
left a comment
TonitaN
left a comment
There was a problem hiding this comment.
Очень красиво стали оформлены задачи ❤
Практически, онлайн методичка по решению для тех, кто не поленится внимательно прочитать
Очень красиво получается. И мы не торопимся ) Здесь главное - качество, и как видно, с каждым разом оно всё выше) |
|
Наконец получилось справиться с третьей задачей второго варианта. От впечатления от нее, я очень подробно расписал рассуждения, которые могут в будущем помочь кому-нибудь в поиске проблем при решении. |
TonitaN
left a comment
TonitaN
left a comment
There was a problem hiding this comment.
Всё замечательно, но в одном случае разбора контрпримеров не заметили, что v может начинаться на a. КМК стоит подчеркнуть в рабочем контрпримере, что его особенность - в том, что z уже нельзя дальше расширить, из-за того что блоки b^n соседствуют с разными буквами, причём важно, что тот, что дальше от конца, соседствует именно с буквой b.
|
Я понял, что в дальнейшем не стоит много вариантов закидывать в один pull request, так как этот висит за мной уже целый год. Семестр был не простой, но постараюсь скоро продолжить работу дальше. Надо доделать последнюю задачу в этом наборе, а дальше уже формировать отдельные пр по вариантам или даже задачам |
|
с днем рождения пр 🎉 |
|
Вроде как доделал остатки по этому пр. Я пока хочу оставить за собой долг в разборе 4.2 с помощью КЭ по Майхиллу-Нероуду, так как это оказалось очень трудоемкой задачей. Построенный автомат через пересечение языков содержит 16 состояний, так что построить аналитически полную таблицу будет очень не просто. Также по ощущениям, перерыв в разборе положительно сказался. Сейчас будто бы было намного легче понять и поправить рассуждения в задачах, которые раньше вызывали затруднения. В любом случае, готов для финального ревью этих 4х вариантов |
TonitaN
left a comment
TonitaN
left a comment
There was a problem hiding this comment.
По отношению эквивалентности по равенству значений я с вами согласна, что в данном примере именно оно, но вот для других вычисляющих языков - зависит от предиката. Иногда можно обойтись и более слабым. Другое дело, что и значения тогда (чаще всего) удастся факторизовать и перейти к другой полугруппе, но то, что их нельзя факторизовать именно в этом случае - наверное, и есть самое главное свойство проверяемого предиката
|
Как у меня странно отображается ревью... Обычно над комментарием показывалась строчка, к которому он относится, а сейчас почему-то нет. У вас так же? Надеюсь, это случайный баг, а не новшество интерфейса :( |
В уведомлении по почте и в мобильной версии все верно отображается. Надо еще с компьютера проверить, но скорее всего баг |
3 participants
Также пока крайне сомневаюсь с вторым вариантом.
Кроме этого возможно нужно добавить пояснения к задачам
И еще дополнительно изменил структуру ссылок в навигации по вариантам, что нужно будет для создания потом единой pdf'ки с разбором всех вариантов(пока не срочно)