week7 harjutused lahendused

Author: sim642

sols/week7/harjutused/SimpleArgList.g4

@@ -0,0 +1,22 @@
+grammar SimpleArgList;
+@header { package week7.harjutused; }
+
+// __Argumentide list__
+// peab ära tundma kõik sellised funktsiooniväljakutsed: f(), f(w), f(w, w), f(w, w, w)
+// eeldame, et muutujanimed on alati w ja funktsiooninimed on f.
+// eeldame, et tühikuid ja tabulaatoreid võib olla igalpool suvaline arv.
+
+// Ära seda reeglit ümber nimeta, selle kaudu testitakse grammatikat
+init : functionCall EOF;
+
+functionCall
+    :   'f' '(' argsList? ')'
+    ;
+
+argsList
+    :   Word (',' Word)*
+    ;
+
+Word : 'w';
+
+WS: [ \t]+ -> skip;

sols/week7/harjutused/SimpleBinaryTree.g4

@@ -0,0 +1,31 @@
+grammar SimpleBinaryTree;
+@header { package week7.harjutused; }
+
+// __Kahendpuu__
+// Oletame, et kahendpuu lehtedes on ainult arvud 0 ja 1, siis defineeri keel,
+// kus on kõik võimalikud puud.
+// Konstruktorite nimed on Leaf(int v) ja Node(Tree left, Tree right)
+// ehk teiste sõnadega defineerime puude hulga järgmiselt:
+//
+// - Arvudeks on meil 0 ja 1.
+// - Kui v on arv, siis Leaf(v) on puu.
+// - Kui l ja r on puud, siis Node(l,r) on samuti puu.
+//
+// Keel sisaldab seega sõnu nagu:
+//   Node(Leaf(1), Node(Leaf(0), Leaf(1)))
+
+// eeldame, et tühikuid ja tabulaatoreid võib olla igalpool suvaline arv
+
+// Ära seda reeglit ümber nimeta, selle kaudu testitakse grammatikat
+init : tree EOF;
+
+tree
+    :   Leaf '(' Arv ')'
+    |   Node '(' tree ',' tree ')'
+    ;
+
+Arv : [01];
+Leaf : 'Leaf';
+Node : 'Node';
+
+WS: [ \t]+ -> skip;

sols/week7/harjutused/SimpleBinaryTreeAlt.g4

@@ -0,0 +1,27 @@
+grammar SimpleBinaryTreeAlt;
+@header { package week7.harjutused; }
+
+// __Kahendpuu variatsioon__
+// Edasi modifitseeri oma grammatikat, et see defineeriks sellised puud,
+// millel on väärtused sisetippudes, näiteks järgmine sõna:
+//   Node(null, 1, Node(null, 0, null))
+//
+// - Arvudeks võtame endiselt 0 ja 1.
+// - Konstant null on pisike puu.
+// - Kui v on arv ning l ja r on puud, siis Node(l,v,r) on samuti puu.
+
+// eeldame, et tühikuid ja tabulaatoreid võib olla igalpool suvaline arv
+
+// Ära seda reeglit ümber nimeta, selle kaudu testitakse grammatikat
+init : tree EOF;
+
+tree
+    :   Node '(' tree ',' Arv ',' tree ')'
+    |   Null
+    ;
+
+Arv : [01];
+Null : 'null';
+Node : 'Node';
+
+WS: [ \t]+ -> skip;

sols/week7/harjutused/SimpleLausearvutus.g4

@@ -0,0 +1,20 @@
+grammar SimpleLausearvutus;
+@header { package week7.harjutused; }
+
+// __Lausearvutuse valem__
+// Eeldades, et lausemuutujateks on meil X, Y ja Z, siis saame sõnu nagu näiteks:
+//      (¬(X&Y)→(X∨Z))
+
+// Ole ettevaatlik et kasutad õigeid sümboleid:
+//      ¬ & ∨ → ↔
+
+// Ära seda reeglit ümber nimeta, selle kaudu testitakse grammatikat
+init : valem EOF;
+
+valem
+    :   Ident
+    |   '¬' valem
+    |   '(' valem ('&' | '∨' | '→' | '↔') valem ')'
+    ;
+
+Ident : [XYZ];

sols/week7/harjutused/SimpleRegExp.g4

@@ -0,0 +1,10 @@
+grammar SimpleRegExp;
+@header { package week7.harjutused; }
+
+// __Regulaaravaldise põhjal__
+// peab ära tundma täpselt samad sõnad nagu see regulaaravaldis: (a|b)*c
+
+// Ära seda reeglit ümber nimeta, selle kaudu testitakse grammatikat
+init : Word EOF;
+
+Word : [ab]* 'c';