Quote (lacoking @ 6 Jan 2010 18:17)
A G= (V,W , S, P) rendezett négyest generatív grammatikának
nevezzük, ahol V és W diszjunkt véges ábécék, V az ún. terminális jelekből
álló ábécé, W az ún. nemterminális jelek ábécéje, S ∈W a startszimbólum, a P
elemeit képező (α, β) rendezett párokat helyettesítési szabályoknak nevezzük
és általában α →β alakban írjuk.

amit te írtál azt legalább fel lehet fogni, ezt nem.