Loading [MathJax]/jax/output/HTML-CSS/config.js
Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

posted Dec 6 '14

Bylo by trochu nelogické kdyby první test byl z látky za 9 týdnů a druhý za 3, takže ano, budou tam i příklady, které se dělaly před 1. testem, dohromady tedy:

  • regulární výrazy (rovnice, derivace)
  • převody mezi RG, KA, RV
  • bezkontextové gramatiky
  • konstrukce zásobníkového automatu
  • důkazy (ne)regulárnosti jazyků (pumping lemma / konstrukce KA)

Bylo by trochu nelogické kdyby první test byl z látky za 9 týdnů a druhý za 3, takže ano, budou tam i příklady, které se dělaly před 1. testem, dohromady tedy:

  • regulární výrazy (rovnice, derivace)
  • převody mezi RG, KA, RV
  • bezkontextové gramatiky
  • konstrukce zásobníkového automatu
  • důkazy (ne)regulárnosti jazyků (pumping lemma / konstrukce KA)

Překladové a atributované gramatiky na většině cvičení ještě nebyly, takže nebudou ani v testu.