Język formalny: Różnice pomiędzy wersjami
| [wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
zmiana - nic wspólnego -> odległa relacja |
Nie podano opisu zmian |
||
Linia 17:
Za '''język''' możemy uważać każdy [[zbiór]], jeśli tylko każdy jego element potrafimy opisać za pomocą skończenie wielu symboli jakiegoś wybranego przez nas [[alfabet]]u. Prawie wszystkie ciekawe zbiory, z jakimi spotykamy się w informatyce, mają tą właściwość – jeśli niemożliwe byłoby napisanie czegoś w skończonej ilości znaków, [[komputer]]y nie potrafiłyby nic z tą rzeczą zrobić – zbiory nie dające się przedstawić w postaci języków istnieją więc niejako poza informatyką.
Uwaga: Chociaż w opisach '''języków formalnych''' używa się określeń zapożyczonych od '''języków naturalnych''' – ''język'', ''słowo'', ''alfabet'', ''gramatyka'' itd. – to języki formalne są tworami matematycznymi i posiadają jedynie bardzo odległą i praktycznie ograniczoną relację do języków naturalnych jak np. polski czy bułgarski.
== Alfabet ==
| |||