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

Označené pro přenos do RIV

Ne

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.