add thrax info

laboratoria7/info.md

@@ -0,0 +1,38 @@
+# 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";
+```