Język formalny: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m →Alfabet: drobne merytoryczne (co to jest "absolutna pustka"?) |
m →Języki: drobne redakcyjne |
||
Linia 44:
Dla każdego alfabetu, choćby jednoelementowego, ilość możliwych do ułożenia słów jest '''nieskończona''', ale '''[[Zbiór przeliczalny|przeliczalna]]'''.
Jeśli chcemy opisywać języki formalne za pomocą dowolnych skończonych opisów, niezależnie od tego jak pomysłowej postaci, jesteśmy w stanie opisać '''co najwyżej przeliczalnie wiele''' z nich.
|