# 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.