Changeset 228 for liacs

Timestamp:

Nov 12, 2010, 11:20:12 PM (14 years ago)

Author:

Rick van der Zwet

Message:

Almost ready, spell checker first

File:

• liacs/TPFL2010/assignment1/report.tex (modified) (1 diff)

liacs/TPFL2010/assignment1/report.tex

@@ -200 +200 @@
 a) aantonen dat het \underline{niet} geldt voor de tegenvoorbeelden a) $gcd
 > 1$ b) $|\Sigma| > 1$ en tevens moet aangetoond worden waarom de eindigheid
- voor dit specifieke voorbeeld geldt.
+ voor dit specifieke geval geldt.
+
+Merk op dat met een gcd van 1 alle getallen in de verzameling \{1,
+priemgetallen\} zitten. Bij een alfabet van 1 letter hoeft er enkel maar
+gesproken worden over lengtes. Standaard zitten alle lengtes in de taal.
+Aangezien de `deel-lengtes' ($x_1,x_2,\ldots,x_k$) nul of meer keer in de
+verzameling in de verzameling mogen zitten. Zal je uiteindelijk overblijven met
+een eindige set lengtes. In het geval dat er lengte 1 gevonden wordt, zal zelfs
+de lege set het antwoord zijn.
+
+a) Als $|\Sigma| > 1$, bijvoorbeeld $\{1,2\}$ dan kan er een oneindige
+verzameling gemaakt worden, door $x_1,x_2,\ldots,x_k \in 1^*$. De $2*$ zal dan een
+oneindige verzameling vormen.
+
+b) $gcd > 1$, bijvoorbeeld $2$ dan kan er een oneindige verzameling gemaakt
+worden, doordat niet alle woorden gemaakt kunnen worden. Enkel worden van
+`even' lengte in dit geval. Waardoor de `oneven' woorden een eindige string
+gaan vormen. Bij grotere waardes ($r$) kunnen ook 'groepen' (de $|r|* - 1$)
+bijvoorbeeld niet meer bereikt worden, welke dan tot een oneindige verzameling
+kunnen groeien. 
 
 \begin{thebibliography}{1}