Gramatyka formalna: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m zamiana szablonu "źródła" z "dopracować" |
→Alternatywa języków: -niezaczynające się nawiasy |
||
Linia 61:
Algorytm taki nie istnieje dla dopełnienia języka (zbioru wszystkich słów które '''nie należą''' do danego języka).
Jest nawet możliwe, że dany język opisuje jakaś gramatyka, ale dla zbioru słów nie należących do niego nie ma żadnej gramatyki
Dla dwóch gramatyk potrafimy też znaleźć gramatykę przecięcia języków (zbioru słów '''należących do obu''' języków),
|