Changeset 240 for liacs

Timestamp:

Nov 26, 2010, 11:00:46 PM (14 years ago)

Author:

Rick van der Zwet

Message:

Spellchecker fixes

File:

• liacs/TPFL2010/assignment2/report.tex (modified) (4 diffs)

liacs/TPFL2010/assignment2/report.tex

@@ -56 +56 @@
 \section{Opgave 4.18}
 Als $L$ een context-vrije taal is en $R$ een reguliere taal dan de rechter
-quotient $L/R = \{x \in \all: \exists y \in R~zodat~xy \in L \}$ is ook een
+quotiënt $L/R = \{x \in \all: \exists y \in R~zodat~xy \in L \}$ is ook een
 context-vrije taal. $xy$ zijn de woorden in $L$ waarbij geldt dat de suffix
 $y$ regulier is. Stel dat $x$ geen context-vrije taal was. Dan zou $xy$ ook
@@ -76 +76 @@
 de vorm $(p,\gamma Y) \in \delta(q,a,X)~waarbij~X \neq Y$). Dus dat alle
 stappen, of een symbool van de stapel afhalen, of een string van symbolen op
-de stapel zetten. Dit is te doen door de hudige 'subsitutie' transities te
+de stapel zetten. Dit is te doen door de huidige substitutie' transities te
 vervangen door een tweetal (gekoppelde) transities. Waarbij de eerste het
 symbool eraf haalt en de tweede de gewenste symbolen er weer op zet.
@@ -109 +109 @@
 maximaal \'e\'en complexe relatie kan aangaan en wel namelijk tussen de twee
 symbolen in.  Alle andere gevallen (enkel relatie \'e\'en symbool) is er maar
-een enkelvoudige afhankelijk gecodeerd. Pak bijvoorbeeld de ingewikkende 
+een enkelvoudige afhankelijk gecodeerd. Pak bijvoorbeeld de ingewikkelde 
 \{$x \in a^*b^*$ : $|x|_a,|x|_b$ even zijn\}. De permutatie van bijvoorbeeld
 $aabb$ zullen zijn ${aabb,abba,abab,baba,baab,bbaa}$, waarbij in het
-context-vrije domain een analoge taal ontstaan, waarbij het aantal a `even'
+context-vrije domein een analoge taal ontstaan, waarbij het aantal a `even'
 moet zijn om te accepteren en het aantal b gelijk aan het aantal `a'.
 
@@ -124 +124 @@
 ziet er dus als volgt uit: $\{0,1\}^*1x1x\{0,1\}^*$ of $\{0,1\}^*0x0x\{0,1\}^*$
 waarbij $x := \{0,1\}\{0,1\}^*$. Beiden delen zijn met een (niet
-determistische) gramatica te maken, door expansitie te doen vanuit `het
+deterministische) grammatica te maken, door expansie te doen vanuit `het
 midden'. Waarbij te denken is aan een soortgelijke setup (a,b ipv 0,1):
 \begin{verbatim}