qraymo Garden

Powered by 🌱Roam Garden

kontextfreie Grammatiken

def/concept Eine kf Grammatik GG ist gegeben durch sr

G=(Σ,V,S,R)G = (\Sigma, V, S, R)

ein endliches Alphabet Σ\Sigma (aka Terminalalphabet)

eine endliche Menge VV mit V∩Σ=∅V \cap \Sigma = \emptyset von Variablen (aka Nichtterminale)

ein Startsymbol S∈VS \in V

eine endlichen Menge an Ableitungsregeln RR = Menge von Tupeln (l,r)∈V×(Σ∪V)∗(l,r) \in V \times (\Sigma \cup V)^{*} (aka Produktionen)

Schreibweise: l→rl \rightarrow r

[[kontextfrei]]e Grammatiken