• No results found

Fundamentele Informatica 1 17 januari 2013, 14–17 u.

N/A
N/A
Protected

Academic year: 2021

Share "Fundamentele Informatica 1 17 januari 2013, 14–17 u."

Copied!
2
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

Fundamentele Informatica 1 17 januari 2013, 14–17 u.

Dit tentamen bestaat uit in totaal twintig onderdelen die elk een half punt waard zijn.

Geef steeds voldoende uitleg. Succes!

1) a. Schrijf het verschil A\B met behulp van doorsnede en complement.

b. Laat met behulp van Venn diagrammen zien dat (A ∪ B)\(A ∩ B) = (A\B) ∪ (B\A).

Geef duidelijk aan wat al uw arceringen voorstellen.

c. Laat met behulp van de verzamelingenalgebra zien dat (A ∪ B)\A = B\A.

Herschrijf eerst de operator \ als hierboven. Benoem de gebruikte regels.

2) De machtsverzameling van X wordt genoteerd als P(X). Laat A en B verzamelingen zijn, en C een alfabet (eindige verzameling).

a. Geef een notatie voor de verzameling van alle relaties van A naar B, en een voor de verzameling van alle talen over C.

3) Op {1, 2, 3, 4} is de relatie R gegeven door {(1, 1), (1, 2), (3, 2), (3, 4), (4, 3)}.

a. Geef R als matrix, en teken R als gerichte graaf.

b. Bepaal R2 en R ◦ R−1 (relatie volgorde).

c. Is R totaal? Surjectief? Injectief? (leg uit)

4) We bekijken de bekende reguliere expressies over een alfabet Σ. Deze hebben de con- stante a voor a ∈ Σ, binaire operatoren ∪ en ·, en een unaire operator ∗, gegeven van lage naar hoge prioriteit. De binaire operatoren worden tussen de argumenten geschreven ‘infix’, de unaire operator achter zijn argument ‘postfix’.

a. Teken de boom die de expressie a ∪ a · (b · a)∗ representeert.

De operatie mir op reguliere expressies wordt recursief gedefinieerd door mir(a) = a voor a ∈ Σ, en mir(K ∪ L) = mir(K) ∪ mir(L), mir(K · L) = mir(L) · mir(K), mir(K∗) = (mir(K))∗ voor reguliere expressies K en L.

b. Bepaal met deze regels mir( a∪a·(b·a)∗ ) en teken de boom voor de gevonden expressie.

c. Beschrijf in woorden hoe in het algemeen de boom voor mir(K) bepaald kan worden uit de boom voor K.

(2)

Fundamentele Informatica 1 17 januari 2013, 14–17 u.

5) Neem de functie val : {0, 1} → N die aan elke string zijn waarde geeft (gelezen als binair getal). Bijvoorbeeld val(11) = 3 en val(1001) = 9. Voor de volledigheid val(λ) = 0.

a. Druk val(xa) uit in val(x) voor x ∈ {0, 1} en a ∈ {0, 1}.

Bekijk onderstaande eindige automaat A.

0 1 2

0

1

1

0

0

1

b. Bewijs met inductie dat L(A) = {w ∈ {0, 1} | val(w) ≡ 0 mod 3}.

6) a. Bereken voor x = 0, 1, 2, 3, 4 de waarde van x2, x3, en x4 modulo 5.

b. Voor welke natuurlijke getallen x geldt dat x23+ x16 deelbaar is door 5?

7) Deze opgave gaat over ongerichte grafen a. Wanneer is een graaf samenhangend?

Wanneer is een samenhangende graaf een boom?

b. Wat is het minimale en maximale aantal lijnen in een samenhangende graaf met n knopen?

c. Als G samenhangend is en het verwijderen van lijn e verbreekt de samenhang niet, dan moet e op een cykel liggen. Leg dit uit.

8) Gegeven is de taal

K = {w ∈ {a, b} | w heeft even lengte, en eindigt op b}

a. Beredeneer dat K2 ⊂ K. (strict)

b. Laat zien dat K regulier is (dus druk K uit in eindige talen met behulp van de operaties vereniging, concatenatie en ster).

c. Geef een deterministische eindige automaat voor K.

Referenties

GERELATEERDE DOCUMENTEN

ACM concludeert dat de aanvraag op dit punt voldoet aan de wet en definieert de geografische afbakening van het gastransportnet als Wetering 20 te Weert (voor een nadere

verbindingen. Dat JWM eigenaar van het pand is doet daar niet aan af. Ook is niet relevant welke goederenrechtelijke titel de huurders op de verbindingen hebben of dat de huurders

1 Iedere netbeheerder zendt jaarlijks voor 1 oktober aan de Autoriteit Consument en Markt een voorstel voor de tarieven die deze netbeheerder ten hoogste zal berekenen voor

Wandel langs de knopen van de boom (in postorde) en bereken de waarde bij elke knoop. In onderdeel a) is de boom uit de pre-orde notatie af te leiden, terwijl

Daarmee kunnen we van elke eindige vereniging bewijzen dat deze aftelbaar is, maar niet van een oneindige

De binaire operatoren worden tussen de argumenten geschreven ‘infix’, de unaire operator achter zijn argument ‘postfix’c. Hoe kan in het algemeen de boom voor mir(K) bepaald

Beschrijf een functie die de hoogte van een binaire boom bepaalt, door het geven van basis f(blad) en recursie f (knoop) uitgedrukt in f (links) en f (rechts)b. Je mag aannemen dat

Hoeveel steenkool met LHV=28 [MJ/kg] is per uur nodig voor de centrale als deze het hele uur op vollast draaitD. (2 punten) Aardgas en kolenprijzen liggen normaliter veel verder