2022 AFJ Prednáška č. 1 - Úvodné pojmy, gramatika

Zhrnutie prednášky

Úvodná prednáška predmetu Automaty a formálne jazyky začína organizačnými pokynmi: výučba prebieha cez MS Teams so záznamom, materiály sú na webe predmetu a v Teamse, dochádzka sa vyhodnocuje z prihlasovacieho súboru. Hodnotenie tvoria dva testy po 20 bodov v prostredí ICE (na pripustenie k skúške treba aspoň 20 z 40 bodov) a skúška za 60 bodov bez povinného minima. Vecná časť motivuje predmet rozdelením jazykov na prirodzené, ktoré vznikli historickým vývojom, a umelé (formálne), ktoré boli navrhnuté na konkrétny účel, napríklad programovacie jazyky. Oba typy spája systém pravidiel, gramatika a syntax, ktoré zaručujú zrozumiteľnosť komunikovanej informácie. Automaty sú v predmete prostriedkom na prácu s formálnymi jazykmi, druhá polovica semestra sa týka pokročilejších tém, ako sú prekladače a kompilátory.

• - Testy: dva po 20 bodov, na pripustenie k skúške treba z nich získať aspoň 20 bodov.
• - Skúška je za 60 bodov bez povinného minima, známka vychádza zo súčtu bodov (pod 56 bodov je FX).
• - Materiály sú na webe predmetu a v Teamse, prednášky sa nahrávajú a dochádza sa vyhodnocuje automaticky.
• - Prirodzené jazyky vznikli historickým vývojom, umelé (formálne) jazyky boli navrhnuté na konkrétny cieľ.
• - Programovacie jazyky sú typickým príkladom formálnych jazykov.
• - Prirodzené aj umelé jazyky majú systém pravidiel (gramatiku, syntax), ktorý zabezpečuje zrozumiteľnosť informácie.
• - Automaty slúžia ako prostriedok na prácu s formálnymi jazykmi, neskôr sa predmet venuje prekladačom a kompilátorom.

Zhrnutie pripravené s pomocou AI z prepisu videa.