Język formalny: Różnice pomiędzy wersjami

'''Język formalny''' – [[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)naturalny|języka naturalnego]] i nie powinien być z nim mylony.