• Ei tuloksia

Automaatit ja formaalit kielet Loppukoe 5.4.2004 1. M¨a¨ar¨a¨a jokin s¨a¨ann¨ollinen ilmaisu kielelle L(A), miss¨a A = ({s

N/A
N/A
Info
Lataa
Protected

Academic year: 2022

Jaa "Automaatit ja formaalit kielet Loppukoe 5.4.2004 1. M¨a¨ar¨a¨a jokin s¨a¨ann¨ollinen ilmaisu kielelle L(A), miss¨a A = ({s"

Copied!
1
0
0

Kokoteksti

(1)

Automaatit ja formaalit kielet Loppukoe 5.4.2004

1. M¨a¨ar¨a¨a jokin s¨a¨ann¨ollinen ilmaisu kielelle L(A), miss¨a A = ({s1, s2, s3},{a, b}, f, s1,{s3}) ja

f(s2, a) = f(s3, a) = f(s1, b) = s1, f(s2, b) = f(s3, b) = s2, f(s1, a) = s3.

2. Olkoon M = (S,Σ,4, H, so, F) kuljetin. Osoita, ett¨a on olemassa sellaiset morfismit h ja g sek¨a sellainen s¨a¨ann¨ollinen kieli K, ett¨a

M(x) = h(g−1(x)∩K) aina kun x Σ.

3. Osoita, ett¨a jokaisen s¨a¨ann¨ollisen kielen generoi jokin tyypin 3 kielioppi.

4. Selvit¨a, mink¨a kielen kielioppi

G = ({A, B},{a, b, c}, A,{A →aABc, A →abc, cB →Bc, bB bb}) generoi.

5. M¨a¨arittele eri kielioppityypit ja selosta (ei todistuksia) niiden yhteys eri automaattityyppeihin.

Viittaukset

LIITTYVÄT TIEDOSTOT

1. a) M¨ a¨ arittele ekvivalenssirelaatio ja ekvivalenssiluokka. M¨ a¨ ar¨ a¨ a lis¨ aksi ekvivalenssiluokat. Osoita, ett¨ a sivuluokkien tulo aN · bN = abN.. on hyvin m¨

Matematiikan perusteet taloustieteilij¨ oille Ib Kes¨ atentti 18.6.20121.

Matematiikan perusteet taloustieteilij¨ oille Ib Tentti 28.5.2012.

[r]

[r]

Matematiikan perusmetodit I/soveltajat Harjoitus 3, syksy

72.5. On annettu nelj¨ a eri yhdensuuntaista tasoa. Osoita, ett¨ a on olemassa sellainen s¨ a¨ ann¨ ollinen tetraedri, ett¨ a jokaisella annetuista tasoista on yksi tetraedrin

5. Kirjoitetaan k¨ arkeen n¨ aiss¨ a s¨ armiss¨ a olevien lukujen summa ja tehd¨ a¨ an t¨ am¨ a jokaiselle kuution k¨ arjelle. Onko mahdollista, ett¨ a jokaisessa kuution