Aplikace pro konverzi modelů regulárních a bezkontextových jazyků

Abstract

V této práci se budeme zabývat tím, jak didakticky prezentovat studentům formálních jazyků převody modelů bezkontextových jazyků. Dočtete se zde o teorii bezkontextových jazyků s množstvím příkladů. Budeme se zde zabývat modely bezkontextových jazyků a to zásobníkovým automatem a bezkontextovou gramatikou. U bezkontextové gramatiky bude představena i její nejpoužívanější forma a o je Backusova-Naurova forma. Dále v teorii bude prezentován algoritmus pro převod bezkontextové gramatiky na zásobníkový automat. Praktická část se bude zabývat popisem uživatelského rozhraní pro převodní algoritmy a také zajímavými implementačními detaily.