Odota...
Wait...
Korppi-järjestelmän toimintoja Korppi

11.20.0

Kirjaudu sisään järjestelmään!
23.8.2017 18:49

TIEA241 Automaatit ja kieliopit, 5 op [kotisivu]

Tietotekniikan laitos

Tiedotus:
Kurssille ei voida ilmoittautua, koska se on jo vanhennettu.
Kurssin ilmoittautumisaika päättyi 21.3.12 klo 12:00.

Yleisiä tietoja

Kotisivu: http://users.jyu.fi/~antkaij/opetus/auki/2012/
Alkaa - päättyy: 10.1.12 - 15.3.12
Ilmoittautumisaika: 29.5.11 klo 0:00 - 21.3.12 klo 12:00
Ilmoittautuminen täytyy vahvistaa välillä 03.01.2012 - 10.01.2012.
Ilmoittautuminen voidaan perua 21.3.2012 klo 12:00 mennessä.
Opettaja(t): Yliopistonopettaja Antti-Juhani Kaijanaho (antti-juhani.kaijanaho@jyu.fi)
Laajuus: 5 op
Kielet: opetuskielet: suomi; suorituskielet: English, suomi
Ilmoittautuneita: 51
Organisaatiot:Tietotekniikan laitos (TTL)
Sisältö:

Äärelliset automaatit ja säännölliset kielet, selaajien automatisointi, kontekstittomat kieliopit ja kielet, jäsennysteorian ja attribuuttikielioppien perusteita, jäsennystyökalut, kontekstiset ja rajoittamattomat kieliopit, Turingin kone, ratkeavuuden perusteet

Osaamistavoitetaulukko:
Osaamistavoitteet?1
muistaa
2
ymmärtää
3
osaa soveltaa
4
osaa analysoida
5
osaa arvioida
6
osaa luoda
Säännölliset lausekkeetosaa luoda
Kontekstittomat kieliopitosaa luoda
Äärelliset automaatitosaa luoda
Pinoautomaatitosaa soveltaa
Turingin koneetymmärtää
Kontekstilliset kieliopitymmärtää
Rajoittamattomat kieliopitymmärtää
Pumppauslemmatosaa soveltaa
Ratkeamattomat ongelmatymmärtää
Ricen lauseosaa soveltaa
Säännöllisten kielten ohjelmallinen tunnistusosaa soveltaa
Ennustava jäsennysosaa soveltaa
Attribuuttikieliopitosaa luoda
Tietojenkäsittelyteoreettinen ajattelutapaosaa soveltaa
Esitiedot:
  • Ohjelmointi 1 ja 2
  • Algoritmit 1 ja 2
  • (Matematiikan) Approbatur 3 tai Johdatus diskreettiin matematiikkaan
Opetusmuodot:Luennot, harjoitukset.
Suoritustavat:

Tentti tai harjoitustyö.

Kirjallisuus:
  • Sipser: Introduction to the Theory of Computation.
  • Hopcroft, Motwani, Ullman: Introduction to Automata Theory, Languages and Computation.
  • Orponen: Laskennan teoria

[Tiivistä opetusryhmien aika- ja paikkatiedot]

Luento [ryhmien tarkat tiedot ja ilmoittautuminen]

Luento 1 [ryhmätiedot ja ilmoittautuminen]; ilmoittautuneita 50, maksimi 190
ilm.aika: 29.5.2011 00:00 - 21.3.2012 12:00
 PaikkaViikkoPäiväPvmKloOhjaajaLisätietojaURITapahtuman tiedot
1Ag Alfa2ti10.1.201208:15-10:00KaijanahoTapahtuman tiedot
2Ag Alfa3ti17.1.201208:15-10:00-Tapahtuman tiedot
3Ag Alfa4ti24.1.201208:15-10:00KaijanahoTapahtuman tiedot
4Ag Alfa5ti31.1.201208:15-10:00KaijanahoTapahtuman tiedot
5Ag Alfa6ti7.2.201208:15-10:00KaijanahoTapahtuman tiedot
6Ag Alfa7ti14.2.201208:15-10:00KaijanahoTapahtuman tiedot
7Ag Alfa8ti21.2.201208:15-10:00KaijanahoTapahtuman tiedot
8Ag Alfa9ti28.2.201208:15-10:00KaijanahoTapahtuman tiedot
9Ag Alfa10ti6.3.201208:15-10:00KaijanahoTapahtuman tiedot
10Ag Alfa11ti13.3.201208:15-10:00KaijanahoTapahtuman tiedot
Luento 2 [ryhmätiedot ja ilmoittautuminen]; ilmoittautuneita 50, maksimi 190
ilm.aika: 29.5.2011 00:00 - 21.3.2012 12:00
 PaikkaViikkoPäiväPvmKloOhjaajaLisätietojaURITapahtuman tiedot
1Ag Delta2to12.1.201212:15-14:00KaijanahoTapahtuman tiedot
2Ag Delta3to19.1.201212:15-14:00-Tapahtuman tiedot
3Ag Delta4to26.1.201212:15-14:00KaijanahoTapahtuman tiedot
4Ag Delta5to2.2.201212:15-14:00KaijanahoTapahtuman tiedot
5Ag Delta6to9.2.201212:15-14:00KaijanahoTapahtuman tiedot
6Ag Delta7to16.2.201212:15-14:00KaijanahoTapahtuman tiedot
7Ag Delta8to23.2.201212:15-14:00KaijanahoTapahtuman tiedot
8Ag Delta9to1.3.201212:15-14:00KaijanahoTapahtuman tiedot
9Ag Delta10to8.3.201212:15-14:00KaijanahoTapahtuman tiedot
10Ag C23111to15.3.201212:15-14:00KaijanahoTapahtuman tiedot

Demo [ryhmien tarkat tiedot ja ilmoittautuminen]

Ryhmä 1 [ryhmätiedot ja ilmoittautuminen]; ilmoittautuneita 12, minimi 8, maksimi 36
ilm.aika: 21.2.2011 00:00 - 21.3.2012 12:00
 PaikkaViikkoPäiväPvmKloOhjaajaLisätietojaURITapahtuman tiedot
1Ag C2333ke18.1.201212:15-14:00-Tapahtuman tiedot
2Ag C2334ke25.1.201212:15-14:00KaijanahoTapahtuman tiedot
3Ag C2336ke8.2.201212:15-14:00KaijanahoTapahtuman tiedot
4Ag C2337ke15.2.201212:15-14:00KaijanahoTapahtuman tiedot
5Ag C2338ke22.2.201212:15-14:00KaijanahoTapahtuman tiedot
6Ag C2339ke29.2.201212:15-14:00KaijanahoTapahtuman tiedot
7Ag C23310ke7.3.201214:15-16:00KaijanahoTapahtuman tiedot
8Ag Alfa11ke14.3.201214:15-16:00KaijanahoTapahtuman tiedot
Ryhmä 2 [ryhmätiedot ja ilmoittautuminen]; ilmoittautuneita 13, minimi 8, maksimi 32
ilm.aika: 21.2.2011 00:00 - 21.3.2012 12:00
 PaikkaViikkoPäiväPvmKloOhjaajaLisätietojaURITapahtuman tiedot
1Ag C2333ke18.1.201214:15-16:00-Tapahtuman tiedot
2Ag C2324ke25.1.201214:15-16:00KaijanahoTapahtuman tiedot
3Ag B3016ke8.2.201214:15-16:00KaijanahoTapahtuman tiedot
4Ag C2327ke15.2.201214:15-16:00KaijanahoTapahtuman tiedot
5Ag C2328ke22.2.201214:15-16:00KaijanahoTapahtuman tiedot
6Ag C2329ke29.2.201214:15-16:00KaijanahoTapahtuman tiedot
7Ag C23310ke7.3.201214:15-16:00KaijanahoTapahtuman tiedot
8Ag Alfa11ke14.3.201214:15-16:00KaijanahoTapahtuman tiedot

Tentti [ryhmien tarkat tiedot ja ilmoittautuminen]

Tentti 16.3.2012 [tenttiin ilmoittautuminen]; ilmoittautuneita 12, maksimi 200
ilm.aika: 15.5.2011 00:00 - 12.3.2012 16:00
 PaikkaViikkoPäiväPvmKloOhjaajaLisätietojaURITapahtuman tiedot
1Ag Auditorio 1, Martti Ahtisaari -sali, Ag Auditorio 2, Ag Auditorio 311pe16.3.201212:00-16:00KaijanahoTapahtuman tiedot
Tentti 4.5.2012 (1. uusinta) [tenttiin ilmoittautuminen]; ilmoittautuneita 7, maksimi 200
ilm.aika: 15.5.2011 00:00 - 30.4.2012 00:00
 PaikkaViikkoPäiväPvmKloOhjaajaLisätietojaURITapahtuman tiedot
1Ag Auditorio 1, Martti Ahtisaari -sali, Ag Auditorio 2, Ag Auditorio 318pe4.5.201212:00-16:00KaijanahoTapahtuman tiedot
Tentti 25.5.2012 (2. uusinta) [tenttiin ilmoittautuminen]; ilmoittautuneita 5, maksimi 200
ilm.aika: 15.5.2011 00:00 - 21.5.2012 16:00
 PaikkaViikkoPäiväPvmKloOhjaajaLisätietojaURITapahtuman tiedot
1Ag Auditorio 1, Martti Ahtisaari -sali, Ag Auditorio 221pe25.5.201212:00-16:00KaijanahoTapahtuman tiedot