Gramatyka formalna: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
EinsBot (dyskusja | edycje)
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),