J 2006

Formální jazyky a automaty I

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

Základní údaje

Originální název

Formální jazyky a automaty I

Vydání

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

Další údaje

Jazyk

čeština

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

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

Odkazy

Organizační jednotka

Fakulta informatiky

Klíčová slova česky

formální jazyky; teorie automatů

Štítky

Změněno: 11. 8. 2015 20:22, Mgr. Kateřina Drábková

Anotace

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.