From 02c3feb1de1a43dc655a3d48a6562d796249412a Mon Sep 17 00:00:00 2001 From: Jakub Pokrywka Date: Sun, 2 Jan 2022 21:42:46 +0100 Subject: [PATCH] add thrax README --- README.md | 11 ++++++++++- thrax_example.grm | 2 +- 2 files changed, 11 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 6e3e279..5526aeb 100644 --- a/README.md +++ b/README.md @@ -354,4 +354,13 @@ xxd -b file xxd file ``` -termin oddawania zadań - 15. listopada \ No newline at end of file +termin oddawania zadań - 15. listopada + + +## Zajęcia 7 +https://www.openfst.org/twiki/bin/view/GRM/Thrax + +https://www.cs.jhu.edu/~jason/465/hw-ofst/hw-ofst.pdf + +Wszystkie zadania proszę robić na wzór `TaskH00`. Proszę umieszczać gramatykę w pliku `grammar.grm` oraz +opisywać finalną regułę nazwą `FinalRule`. \ No newline at end of file diff --git a/thrax_example.grm b/thrax_example.grm index 652b74b..e20941e 100644 --- a/thrax_example.grm +++ b/thrax_example.grm @@ -7,5 +7,5 @@ Bit = Zero | One; export First = Optimize[Zero Zero* Bit* One One One One?]; -export Second = Optimize[ (Zero One (One One)*)* | (One (One One)* Zero )* | Zero* | (Zero One (One One)* Zero )* ]; +export Second = Optimize[ (Zero One (One One)* )* | (One (One One)* Zero )* | Zero* | (Zero One (One One)* Zero )* ]; export Third = Optimize["a" (("b":"x")+ | ("c"+ : "y") | ("":"fric")) "a"];