Język formalny
Z Wikipedii, wolnej encyclopedia
Język formalny – podzbiór zbioru wszystkich słów nad skończonym alfabetem[1]. Język formalny jest kluczowym pojęciem w informatyce, logice matematycznej i językoznawstwie. Język formalny nie jest uściśleniem pojęcia języka naturalnego. Alfabet języka formalnego składa się z symboli, słów, lub tokenów których konkatenacje stanowią łańcuchy języka.