Gramatyka formalna: Różnice pomiędzy wersjami

m
drobne redakcyjne
m (WP:SK+Bn)
m (drobne redakcyjne)
'''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.
 
AbyDo zdefiniowaćzdefiniowania gramatykęgramatyki formalnąformalnej trzebapotrzebne określićjest zbiórokreślenie zbioru symboli terminalnych, zbiórzbioru symboli nieterminalnych, symbolsymbolu startowy,startowego oraz zbiórzbióru reguł które określająokreślających sposób w jaki wyprowadzamywyprowadzania słowasłó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.