Attributes | Values |
---|
rdf:type
| |
Description
| - The text introduces basics notions and constructions from the theory of formal languages and automata. (en)
- Kurz Formální jazyky a automaty I (PDF) prezentuje základní pojmy a konstrukce teorie formálních jazyků (formální jazyky, gramatiky, konečné a zásobníkové automaty a Turingovy stroje). Jsou zde předvedeny aplikace gramatik a automatů při návrhu, popisu a analýze formálních jazyků, jakož i klasifikace problémů vzhledem k jejich rozhodnutelnosti. Text je studentům dostupný ve výuce předmětu Formální jazyky a automaty I ( IB005).
- Kurz Formální jazyky a automaty I (PDF) prezentuje základní pojmy a konstrukce teorie formálních jazyků (formální jazyky, gramatiky, konečné a zásobníkové automaty a Turingovy stroje). Jsou zde předvedeny aplikace gramatik a automatů při návrhu, popisu a analýze formálních jazyků, jakož i klasifikace problémů vzhledem k jejich rozhodnutelnosti. Text je studentům dostupný ve výuce předmětu Formální jazyky a automaty I ( IB005). (cs)
|
Title
| - Formal Languages and Automata I (en)
- Formální jazyky a automaty I
- Formální jazyky a automaty I (cs)
|
skos:prefLabel
| - Formal Languages and Automata I (en)
- Formální jazyky a automaty I
- Formální jazyky a automaty I (cs)
|
skos:notation
| - RIV/00216224:14330/06:00035933!RIV11-MSM-14330___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216224:14330/06:00035933
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - formal languages -grammars- finite automata - pushdown automata - Turing machines (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Kučera, Antonín
- Černá, Ivana
- Křetínský, Mojmír
|
http://localhost/t...ganizacniJednotka
| |