Formální jazyky a automaty I

ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ and Antonín KUČERA. Formální jazyky a automaty I. Elportál. Brno: Masarykova univerzita, 2006. ISSN 1802-128X.

Basic information

Original name

Formální jazyky a automaty I

Authors

ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ and Antonín KUČERA

Edition

Elportál, Brno, Masarykova univerzita, 2006, 1802-128X

---

Other information

Language

Czech

Type of outcome

Článek v odborném periodiku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

URL

Organization unit

Faculty of Informatics

Keywords (in Czech)

formální jazyky; teorie automatů

Tags

Elportál_Archiv

---

Abstract

V originále

Učební text Formální jazyky a automaty I 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 určený zejména studentům předmětu FI:IB005 Formální jazyky a automaty I.