Jazyky a překlady (X36JPR, 2010/11)

Aktuality:

• Zkouškové termíny předmětu X36JPR:
  • Út 4.1.2010 od 9.00 v KN:A-311
  • Út 11.1.2010 od 9.00 v KN:A-311
  • Út 25.1.2010 od 9.00 v KN:A-311
  • ústní část se pak koná vždy v kanceláři doc. Holuba (FIT, místnost 221, Kolejní 550/2, Praha 6 - Dejvice)

přednáška:	čtvrtek 14.30 KN:E-301 (K9) (Jan Holub)
cvičení:	čtvrtek 16.15 KN:A-108 (Jakub Jaroš)

Zápočtový test:

• 40 b - test na cvičení (zhruba v půlce semestru)

• minimálně 20 b ze zápočtového testu

• 60 b - písemná část zkoušky
• +/-2 b - ústní část zkoušky (zásadní neznalosti mohou mít právo veta)

• počítá se ze součtu bodů ze zápočtového testu a zkoušky

• body	hodnocení
  100-90 b	A (výborně)
  89-80 b	B (velmi dobře)
  79-70 b	C (dobře)
  69-60 b	D (uspokojivě)
  59-50 b	E (dostatečně)
  49-0 b	F (nedostatečně)

Osnovy přednášek (aktuální):

1. (23.9.) Základní pojmy teorie jazyků, definice a klasifikace gramatik (str. 7-14) (slajdy)
2. (30.9.) Regulární jazyky, regulární gramatiky, transformace gramatik (str. 15-27) (slajdy)
3. (7.10.) Konečné automaty (str. 28-46) (slajdy)
4. (14.10.) Konečné automaty a operace nad jazyky (str. 57-70+ minimalizace KA) (slajdy)
5. (21.10.) Regulární výrazy (derivace, integrály, úpravy), vzájemné převody mezi RG a KA (str. 70-75, 76-86) (slajdy)
6. (28.10.) státní svátek
7. (4.11.) Vzájemné převody mezi RV a KA a mezi RV a RG (str. 86-117) (slajdy)
8. (11.11.) Bezkontextové jazyky (str. 118-136) (slajdy)
9. (18.11.) Zásobníkové automaty, LL gramatiky a jazyky (str. 136-152) (slajdy)
10. (25.11.) Silné LL gramatiky (str. 152-164) (slajdy)
11. (2.12.) Vlastnosti LL gramatik a jazyků, transformace gramatik (str. 172-190) (slajdy)
12. (9.12.) Formální překlady (str. 191-206) (slajdy)
13. (16.12.) Atributované překlady (207-224, 239-260) (slajdy)
14. (23.12.) děkanský den

Literatura:

1. Melichar, B.: Jazyky a překlady. Praha, Vydavatelství ČVUT 2007.
2. Melichar, B., Antoš, J., Holub, J., Šimánek, M.: Jazyky a překlady - cvičení. Praha, Vydavatelství ČVUT 2004.
3. Animace vytvořené na VŠB TU Ostrava.