Oblig 12 IN1150

Dokumentet er låst pga pågående studieprosesser.

Medlemskap gir deg full tilgang til en omfattende samling av dokumenter.

Emne

IN1150 Logiske metoder

Type

Oblig

Karakter

Godkjent

Nedlastinger

Ord

Sider

Opplastet

21. august 2022

Nyttig?

Du må være registrert og logget inn for å stemme.

Det anbefales sterkt å kun bruke dokumentene som en supplementær kilde til hjelp. Det er viktig å huske at den virkelige læringen kommer fra å gjøre oppgavene selv, og at kopiering kan føre til alvorlige konsekvenser i form av plagiat. Derfor bør man alltid sørge for å forstå og anvende kunnskapen på egen hånd, i stedet for å avhenge utelukkende av dokumentene.

Utdrag

Oblig 12 i IN1150

5. mai 2022

Oppgave 1

(a)01

(b)11(01)

(c)1

01 (d)0

00(0|1)

Oppgave 2

B

D

⊆

Oppgave 3

(a)S⇒aSa⇒abSba⇒abTba⇒abbba

(b)Språket som defineres av denne gramatikken er mengden av alle stren-

ger på formen a(b

|λ)aellerb(a

|λ)b

Oppgave 4

(a)aab

(a|c)

(b)cdd

b

(c)S−→(eX|cX)

X−→(aY|bY)

Y−→X|λ

(d)S−→Xc

X−→aX|bX|λ

Oppgave 5

(a)

(b)

Oppgave 6

(a)