Detail publikace
Regulated Grammars and Their Transformations
Zemek Petr, Ing., Ph.D.
Řízené gramatiky, řízené gramatické systémy, řízené zásobníkové automaty, transformace
Tato monografie se zabývá bezkontextovými gramatikami doplněnými řízením, které předepisuje aplikovatelnost pravidel při generování jazyků. Takto obohacené bezkontextové gramatiky jsou souhrnně označovány jako řízené gramatiky. Mezi diskutované případy patří gramatiky řízené regulárním jazykem, maticové gramatiky, programované gramatiky, gramatiky s nahodilým kontextem, gramatiky s rozptýleným kontextem a stavové gramatiky. Ústředním tématem práce jsou transformace těchto gramatik jak na gramatiky stejného typu splňující různá dodatečná omezení, tak na jiné ekvivalentní formální modely. Mezi prezentované transformace patří například převod gramatik do normálních forem, odstraňování zkracujících pravidel, redukce počtu jejich komponent či generování jazyků rozšířených o dodatečné informace. Důraz je kladen na algoritmická provedení těchto transformací, která jsou v praxi snadno implementovatelná. Definice a výsledky jsou doplněny názornými příklady. Kromě řízených gramatik jsou diskutovány i další příbuzné řízené formální modely, jako multigenerativní gramatické systémy či řízené zásobníkové automaty. V závěru jsou nastíněna praktická využití dosažených výsledků, možnosti budoucího výzkumu z hlediska moderních trendů a historické poznámky k literatuře, z níž kniha vychází.
@book{BUT62062,
author="Alexandr {Meduna} and Petr {Zemek}",
title="Regulated Grammars and Their Transformations",
year="2010",
publisher="Brno University of Technology",
address="Brno",
pages="239",
isbn="978-80-214-4203-0"
}