Gramatyka formalna: Różnice pomiędzy wersjami

Rozmiar się nie zmienił ,  12 lat temu
m
→‎Alternatywa języków: drobne redakcyjne
m (→‎Alternatywa języków: drobne redakcyjne)
m (→‎Alternatywa języków: drobne redakcyjne)
:<math>S\rightarrow S_1</math>
:<math>S\rightarrow S_2</math>
:orazOraz wszystkie regułki obu gramatyk.
 
Słowo będzie więc należało do języka jeśli da się wyprowadzić w jednej z gramatyk. Musimy jednak zadbać o to, żeby '''nie wolno było mieszać wyprowadzeń''' &ndash; tak, że część słowa jest wyprowadzona pierwszą gramatyką, a część drugą. Zanim więc połączymy zbiory reguł obu gramatyk, przekształćmy je najpierw tak, żeby po lewej stronie wszystkich reguł były wyłącznie nieterminale, i zmieńmy nazwy wszystkich nieterminali, żeby żaden nieterminal nie występował jednocześnie w obu gramatykach (to jak nazwane będą nieterminale nie wpływa w żaden sposób na to, jaki język dana gramatyka generuje). Jeśli gramatyki są tej postaci, to w żaden sposób nie da się w jednym wyprowadzeniu użyć reguł obu gramatyk.