DJFZ 2020 laboratoria 7 - thrax

Zadania do samodzielnego wykonania

TaskH00 - przykładowe (już rozwiązane) zadanie
TaskH01-H02 - 2 proste zadania dla wszystkich
TashH03-TaskH09 - trudne, wysoko punktowane zadanie zależne od indeksu

Przydatne materiały

http://www.openfst.org/twiki/bin/view/GRM/ThraxQuickTour

http://www.openfst.org/twiki/bin/view/GRM/ThraxDownload

http://cs.jhu.edu/~jason/465/hw-ofst/hw-ofst.pdf

Instalacja thraxa za pomocą condy

conda install -c conda-forge thrax

Można też skompilować ręcznie.

Rozwiązywanie zadań z działu H0

Proszę opracowywać plik *.grm i korzystać z szablonu TaskH00

Przykłady

# thraxcompiler --input_grammar=example.grm --output_far=example.far
# thraxrewrite-tester --far=example.far --rules=First

Zero = "0";
One = "1";
Bit = Zero | One;
export First = Optimize[Zero Zero* Bit* One One One One?];
export Second = Optimize[One (One One)* ];
export Third = "a" (("b":"x")* | ("c"+ : "y"*) | ("":"fric")) "a";

Kolokwium zaliczeniowe

Kolokwium odbędzie się na następnych zajęciach. Zaliczenie kolokwium jest warunkiem koniecznym zaliczenia zajęć. Należy zdobyć conajmniej 10 z 12 punktów. Zadania będą się składać z 4 prostych zadań po 3 punkty. Kolokwium będzię trwać 10 minut, będziecie Państwo pisać je na kartce, a następnie pokazywać do kamery i robić skan/zdjęcie kartki (dlatego proszę używać komputera z kamerką).

Punkty za zadania

Jeżeli nie zdobędą Państwo wymaganej ilości punktów do zaliczenia ćwiczeń (conajmniej 30), proszę się zgłosić do prowadzącego po ćwiczeniach w prywatnej wiadomości na MS Teams.

1.6 KiB Raw Permalink Blame History