Лаба находится в папке lab1
- main.scala исходник кода
- main.jar скомпилированная программа
- input.txt файл из которого читаются входные данные (пример входных данных есть)
- SMTPattern.txt файл балванка
- script.py скрипт запускающий программу и SMTsolver
- используется солвер z3
- написано и скомпилировано на версии Scala 3.3.0
- файл скрипта на питоне запускается так
- Использовать jar файл
python3 script.py -jar- Не знаю зачем, но можно использовать исходный файл на прямую
python3 script.py -scalaЭто будет на много дольше
- понятное дело нужна scala 3.3.0
Из-за специфики реализации программа не справляется с безумными вложеностями, но с ними и z3 не справляется, поэтому как-то так
На этом все, пожалуйста не судите строго)
Лаба находится в папке lab2
- Кабанов Андрей
- Федоров Владислав
- main.scala исходник кода тестирования
- main.jar скомпилированная программа тестирования
- script.py скрипт запускающий основную программу и тесты
- regexFsm.txt файлы балванка хранящий автомат регулярок
- regex.txt файл куда тастер записывает сгенерированные регулярки
- fsm.txt файл откуда тестер берет автоматы и академические регулярки
При написании генератора регулярок я решил выпендрится, и решил написать автомат, который генерирует регулярки. Проблема в том, что язык регулярок не регулярен. Из-за всего того-же присловутого языка Dyck. Но его можно сделать регулярным, получившийся язык называется языком сжатых регулярок (нужно просто разрешить удалять любой превикс из ((( и любой постфикс из )))). Теперь нужно написать соответствующую регулярку и автомат. На регулярку я потратил день, так-как надо было запретить пустые скобки с пустые аргументы. Когда с регуляркой было покончено, один интересный сайтик построил мне минимальный DFA. Далее все просто (нет). Строим програму, которая выбирает финальное состояние и далее рандомно гуляет по обратным путям. НО! Нужно следить за звездной высотой, помог стек, хранящий текущую вложенность, и откаты назад. Теперь веселее, нужно учитывать ограничение на длину, тут я строю при помощи BFS минимальные обратные пути из любого состояния в начальное. Далее при каждой итерации смотрю сколько путей (при которых не привышается максимальная длина) есть из состояния в которое я хочу перейти в начальное. Далее рандомно выбираю любое. Благодаря проверки на каждой итерации, мы гарантированно имеет хотябы один путь. Естественно, что изначально есть проверка, что если при текущей максимальной длине, ни из одного финального состояния нет пути в начальное, то мы кидаем ошибку генерации. Со второй частью, а именно с генерацией слов из автоматов, было очень легко. Используется тот-же самый код (почти). Просто еще одна похожая функция которая уже генерирует слова не из языка (при первой итерации берем любое не финальное). Тут нужна ловушка, но ее добавить просто. Благодаря наработкам из первой части, получилось ограничить максимальнуб длину тестирующих слов, хоть этого и не требовалось в ТЗ. Далее все тривиально.
Также я на всякий случай включил в тестирующий модуль самотесты. Они проверяют, правда ли сгенерированное слово принимается автоматом и наоборот (насамом деле я просто написал алгоритм проверки вхождения слова в автомат и незнал куда его присобачить)
Также спицифика реализации такова, что если автомату не удасться сгенерировать слово принадлежащее или не принадлежащее языку (либо ограничение длины слишком мало, либо просто язык является всеобъемлющим), то соответствующий тест пропускается и никак не влияет на ответ.
Как уже понятно, я решил немного отойти от ТЗ и при генерации регулярок учитывать не максимальное количество букв, а максимальную длину регулярки. Мне кажется это более правильным и сложным.
Так как в исходной грамматике синтаксиса присутствовала левая рекурсия, что осложняло чтение, парсер был написан написан по следующей грамматике:
<regex> ::= <term> '|' <regex> | <term>
<term> ::= <factor> | <factor><factor> | <factor> '#' <factor>
<factor> ::= <base> | <base> '*' | <base> '+'
<base> ::= <char> | '(' <regex> ')'
P.S.оригинал: https://matt.might.net/articles/parsing-regex-with-recursive-descent/
Могут быть неточности в изложении мысли формальной записью
Парсер написан по методу Александра Владимировича (ваши замечания по коду на конференции я слышал, но до реализации руки не дошли). Да и мой парсер, похоже, получился далеким от "чистого"...
https://groups.google.com/g/metacomputation-ru/c/mFlLMjYNSLg
- написано и скомпилировано на версии Scala 3.3.0
- скрипт на питоне запускается так
python3 script.py 3 50 4 100 50 200Аргументы:
- Мощьность алфавита (1 to 5)
- Максимальная длина регулярки (1 to ∞)
- Максмальная звездная высота (0 to 5)
- Количество сгенерированных регулярок
- Максимальная длина слов сгенерированных для Fuzz тестирования
- Количество тестов на один автомат (делится пополам на входящие в язык и невходящие)
Лаба находится в папке lab3
- Кабанов Андрей
- Федоров Владислав
- потом
- написано на версии Julia 1.9.3
- и на Рефале :)
- собрать рефал
rlmake main.ref- запустить программу
julia main.jl <1> <2>- Файл с входными данными
- Файл с выходными данными
#oracle
^(a*)(b*)c+\2\1$ \\ регулярка для всего языка
^a*(a*)(?:b*(?=b*c*b*$))?(b*)(c+\2\1|c*)$ \\ регулярка для префиксов языка
^(|a*(?=(b*)c*\2a+))(b*)(?:(?<=^)c*|c+)\3b*\1a*$ \\ регулярка для суффиксов языка
#const
10 \\ C
10 \\ P
10 \\ P'
#alphabet \\ очевидно
a
b
c
#split \\ разбиение
a
b
c
b
a
\\ файл заканчивается пустой строкой (если последняя часть eps)
-- Prefix
\\ автомат префиксов
-- Infix
\\ автомат середин
-- Postfix
\\ автомат суффиксов
Лаба находится в папке lab4a
- Кабанов Андрей
Лаба сделана мной чисто по приколу. Влад сам сделает часть лабы, которую я вырежу. И мы сдадим ее вместе.
julia main.jl <1>Аргумент это путь к файлу с входными данными
#priority \\ falst сначала по старше, true по младше
false
#string \\ слово оно если что одно, просто многострочное
(k+)+k*k
(k+k)+*k
#grammer \\ грамматика через пробелы, слитно ничего не писать
S ➡ E $ E $
E ➡ E + T | T
T ➡ T * F | F
F ➡ ( E ) | k