Gramatyka formalna: Różnice pomiędzy wersjami

Usunięty 1 bajt ,  2 lata temu
m
lit.
m (drobne redakcyjne)
m (lit.)
'''Gramatyka formalna''' – sposób opisu [[język formalny|języka formalnego]], czyli podzbioru zbioru wszystkich słów skończonej długości nad danym alfabetem.
 
Do zdefiniowania gramatyki formalnej potrzebne jest określenie zbioru symboli terminalnych, zbioru symboli nieterminalnych, symbolu startowego oraz zbióruzbioru reguł określających sposób wyprowadzania słów.
 
'''Symbol nieterminalny''' to symbol, który można definiować. Symbole nieterminalne zwane są również zmiennymi syntaktycznymi, ponieważ umożliwiają tworzenie ciągów zawierających kombinacje symboli terminalnych i nieterminalnych.