Symbol startowy

Ten artykuł od 2025-12 wymaga zweryfikowania podanych informacji.

Należy podać wiarygodne źródła w formie przypisów bibliograficznych.
Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Sprawdź w źródłach: Google Books • Google Scholar • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary)
Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu.
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

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.