Język formalny: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m Prośba o źródła |
m zamiana szablonu "źródła" z "dopracować" |
||
Linia 1:
{{
'''Język formalny''' – jest to [[podzbiór]] [[zbiór|zbioru]] wszystkich '''słów''' nad skończonym '''alfabetem'''. Język formalny jest kluczowym pojęciem w [[informatyka|informatyce]], [[logika matematyczna|logice matematycznej]] i [[językoznawstwo|językoznawstwie]]. Język formalny nie jest uściśleniem pojęcia [[język (mowa)|języka naturalnego]] i nie powinien być z nim mylony.
|