Symbol startowy

Symbol startowy – symbol nieterminalny wyróżniony w konkretnej gramatyce formalnej, taki że generację słowa w tej gramatyce zaczynamy od słowa złożonego z tego symbolu.

Jeśli chcemy zacząć generację od jakiegoś innego słowa ${\displaystyle w_{1},}$ lub od pewnych kilku możliwych słów ${\displaystyle \{w_{1},\dots ,w_{n}\},}$ możemy dodać symbol „przedstartowy” ${\displaystyle S,}$ oraz reguły przepisywania (zwane też produkcjami) postaci ${\displaystyle S\to w_{i},}$ o ile takie reguły mieszczą się w podzbiorze dozwolonych produkcji dla danego typu gramatyk. Wystarcza nam więc jeden symbol startowy, niezależnie od tego, od ilu możliwych słów zamierzamy zaczynać.

Nie zawsze jest to jednak możliwe, zwłaszcza dla gramatyk regularnych oraz deterministycznych gramatyk bezkontekstowych.