@prefix rdf: . @prefix dbr: . @prefix yago: . dbr:Formal_language rdf:type yago:Thinking105770926 , yago:Process105701363 , yago:Communication100033020 , yago:Cognition100023271 , yago:PsychologicalFeature100023100 , yago:WikicatTheories . @prefix owl: . dbr:Formal_language rdf:type owl:Thing , yago:Theory105989479 , yago:Abstraction100002137 , yago:HigherCognitiveProcess105770664 , yago:Language106282651 , yago:WikicatFormalLanguages , yago:Explanation105793000 . @prefix rdfs: . dbr:Formal_language rdfs:label "\u0424\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u044B\u0439 \u044F\u0437\u044B\u043A"@ru , "\u5F62\u5F0F\u8BED\u8A00"@zh , "Linguagem formal"@pt , "Bahasa formal"@in , "\uD615\uC2DD \uC5B8\uC5B4"@ko , "Formala lingvo"@eo , "Lenguaje formal"@es , "\u0644\u063A\u0629 \u0634\u0643\u0644\u064A\u0629"@ar , "Form\u00E1ln\u00ED jazyk"@cs , "Llenguatge formal"@ca , "Langage formel"@fr , "Linguaggio formale"@it , "\u0424\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0430 \u043C\u043E\u0432\u0430"@uk , "Formele taal"@nl , "\u5F62\u5F0F\u8A00\u8A9E"@ja , "Formale Sprache"@de , "Formellt spr\u00E5k"@sv , "\u03A4\u03C5\u03C0\u03B9\u03BA\u03AE \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1"@el , "J\u0119zyk formalny"@pl , "Formal language"@en ; rdfs:comment "Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu nat\u00FCrlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn. Eine formale Sprache besteht aus einer bestimmten Menge von Symbolketten (im Allgemeinen Zeichenketten) (\u201EW\u00F6rter\u201C der Sprache), die aus einem Zeichen-/Symbolvorrat (\u201EAlphabet\u201C, Grundsymbole) zusammengesetzt werden k\u00F6nnen. W\u00E4hrend die Logik die Begrifflichkeit \"Formale Sprache\" untersucht, finden formale Sprachen z. B. in der Mathematik, in der Linguistik und der theoretischen Informatik eine praktische Anwendung."@de , "In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules. The alphabet of a formal language consists of symbols, letters, or tokens that concatenate into strings of the language. Each string concatenated from symbols of this alphabet is called a word, and the words that belong to a particular formal language are sometimes called well-formed words or well-formed formulas. A formal language is often defined by means of a formal grammar such as a regular grammar or context-free grammar, which consists of its formation rules."@en , "\u03A3\u03C4\u03B1 \u03B4\u03B9\u03B1\u03BA\u03C1\u03B9\u03C4\u03AC \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03AC, \u03C3\u03C4\u03B7 \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03AE \u03BB\u03BF\u03B3\u03B9\u03BA\u03AE, \u03C3\u03C4\u03B7 \u03B8\u03B5\u03C9\u03C1\u03B7\u03C4\u03B9\u03BA\u03AE \u03C0\u03BB\u03B7\u03C1\u03BF\u03C6\u03BF\u03C1\u03B9\u03BA\u03AE \u03BA\u03B1\u03B9 \u03C3\u03C4\u03B7 \u03B3\u03BB\u03C9\u03C3\u03C3\u03BF\u03BB\u03BF\u03B3\u03AF\u03B1, \u03BC\u03B9\u03B1 \u03C4\u03C5\u03C0\u03B9\u03BA\u03AE \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 (formal language) \u03AE \u03B1\u03C0\u03BB\u03CE\u03C2 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 \u03B5\u03AF\u03BD\u03B1\u03B9 \u03B7 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 \u03C0\u03BF\u03C5 \u03BF\u03C1\u03AF\u03B6\u03B5\u03C4\u03B1\u03B9 \u03B1\u03C0\u03CC \u03B1\u03BA\u03C1\u03B9\u03B2\u03B5\u03AF\u03C2 \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03BF\u03CD\u03C2 \u03C4\u03CD\u03C0\u03BF\u03C5\u03C2, \u03AE \u03C4\u03CD\u03C0\u03BF\u03C5\u03C2 \u03C0\u03BF\u03C5 \u03BC\u03C0\u03BF\u03C1\u03B5\u03AF \u03BD\u03B1 \u03B5\u03C0\u03B5\u03BE\u03B5\u03C1\u03B3\u03B1\u03C3\u03C4\u03B5\u03AF \u03BC\u03B9\u03B1 \u03BC\u03B7\u03C7\u03B1\u03BD\u03AE. \u03A0\u03B9\u03BF \u03B1\u03BD\u03B1\u03BB\u03C5\u03C4\u03B9\u03BA\u03AC, \u03BC\u03B9\u03B1 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 \u03BF\u03C1\u03AF\u03B6\u03B5\u03C4\u03B1\u03B9 \u03C9\u03C2 \u03AD\u03BD\u03B1 \u03C0\u03B9\u03B8\u03B1\u03BD\u03CE\u03C2 \u03AC\u03C0\u03B5\u03B9\u03C1\u03BF \u03C3\u03CD\u03BD\u03BF\u03BB\u03BF \u03B1\u03C0\u03CC \u03C0\u03B5\u03C0\u03B5\u03C1\u03B1\u03C3\u03BC\u03AD\u03BD\u03BF\u03C5 \u03BC\u03AE\u03BA\u03BF\u03C5\u03C2 \u03C3\u03B5\u03B9\u03C1\u03AD\u03C2 \u03B1\u03C0\u03CC \u03C3\u03C4\u03BF\u03B9\u03C7\u03B5\u03AF\u03B1 \u03C0\u03C1\u03BF\u03B5\u03C1\u03C7\u03CC\u03BC\u03B5\u03BD\u03B1 \u03B1\u03C0\u03CC \u03AD\u03BD\u03B1 \u03BA\u03B1\u03B8\u03BF\u03C1\u03B9\u03C3\u03BC\u03AD\u03BD\u03BF, \u03C0\u03B5\u03C0\u03B5\u03C1\u03B1\u03C3\u03BC\u03AD\u03BD\u03BF \u03C3\u03CD\u03BD\u03BF\u03BB\u03BF (\u03B1\u03BB\u03C6\u03AC\u03B2\u03B7\u03C4\u03BF). \u039F \u03BA\u03BB\u03AC\u03B4\u03BF\u03C2 \u03C0\u03BF\u03C5 \u03BC\u03B5\u03BB\u03B5\u03C4\u03AC \u03C4\u03B9\u03C2 \u03B9\u03B4\u03B9\u03CC\u03C4\u03B7\u03C4\u03B5\u03C2 \u03C4\u03C9\u03BD \u03C4\u03C5\u03C0\u03B9\u03BA\u03CE\u03BD \u03B3\u03BB\u03C9\u03C3\u03C3\u03CE\u03BD \u03BB\u03AD\u03B3\u03B5\u03C4\u03B1\u03B9 \u03B8\u03B5\u03C9\u03C1\u03AF\u03B1 \u03C4\u03C5\u03C0\u03B9\u03BA\u03CE\u03BD \u03B3\u03BB\u03C9\u03C3\u03C3\u03CE\u03BD. \u038C\u03C0\u03C9\u03C2 \u03BA\u03B1\u03B9 \u03BF\u03B9 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B5\u03C2 \u03C3\u03C4\u03B7 \u03B3\u03BB\u03C9\u03C3\u03C3\u03BF\u03BB\u03BF\u03B3\u03AF\u03B1, \u03BF\u03B9 \u03C4\u03C5\u03C0\u03B9\u03BA\u03AD\u03C2 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B5\u03C2 \u03AD\u03C7\u03BF\u03C5\u03BD \u03B3\u03B5\u03BD\u03B9\u03BA\u03AC \u03B4\u03C5\u03BF \u03C0\u03BB\u03B5\u03C5\u03C1\u03AD\u03C2:"@el , "Pada matematika, ilmu komputer dan linguistik, suatu bahasa formal terdiri dari kata-kata yang mana diambil dari dan berdasarkan seperangkat kaidah tertentu. Alfabet akan bahasa formal terdiri dari simbol, huruf atau token yang bergabung menjadi string akan bahasa. Tiap string yang digabungkan dari simbol-simbol akan alfabet disebut sebuah kata. Sebuah bahasa formal sering didefinisikan melalui seperti atau yang terdiri dari ."@in , "Entende-se por linguagem formal estudo de modelos matem\u00E1ticos que possibilitam a especifica\u00E7\u00E3o e o reconhecimento de linguagens (no sentido amplo da palavra), suas classifica\u00E7\u00F5es, estruturas, propriedades, caracter\u00EDsticas e inter-relacionamentos . A import\u00E2ncia dessa teoria na ci\u00EAncia da computa\u00E7\u00E3o \u00E9 dupla: ela tanto apoia outros aspectos te\u00F3ricos da ci\u00EAncia da computa\u00E7\u00E3o (decidibilidade, computabilidade, complexidade computacional, por exemplo), como fundamenta diversas aplica\u00E7\u00F5es computacionais tais como processamento de linguagens, reconhecimento de padr\u00F5es, modelagem de sistemas."@pt , "A matem\u00E0tiques, l\u00F2gica, i ci\u00E8ncies de la computaci\u00F3, un llenguatge formal \u00E9s un llenguatge on els s\u00EDmbols primitius i regles per a unir aquests s\u00EDmbols estan formalment especificats. Al conjunt dels s\u00EDmbols primitius se l'anomena l'alfabet (o vocabulari) del llenguatge, i al conjunt de les regles se l'anomena la gram\u00E0tica formal (o sintaxi). A una cadena de s\u00EDmbols formada d'acord amb la gram\u00E0tica se l'anomena una f\u00F3rmula ben formada (o paraula) del llenguatge. Estrictament parlant, un llenguatge formal \u00E9s id\u00E8ntic al conjunt de totes les seves f\u00F3rmules ben formades."@ca , "En math\u00E9matiques, en informatique et en linguistique, un langage formel est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lex\u00E8mes qui servent \u00E0 construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La th\u00E9orie des langages formels a pour objectif de d\u00E9crire les langages formels."@fr , "Ett formellt spr\u00E5k \u00E4r en m\u00E4ngd ord \u00F6ver ett alfabet \u03A3. Ett alfabet best\u00E5r av en m\u00E4ngd symboler, t.ex. \u03A3 = {1,2,3,4,5,6,7,8,9,0} och ett ord best\u00E5r av en str\u00E4ng av alfabetets symboler, h\u00E4r exempelvis \"0124311\". Ett formellt spr\u00E5k \u00E4r allts\u00E5 en m\u00E4ngd av s\u00E5dana str\u00E4ngar (ord) som i sin tur endast inneh\u00E5ller symboler ur det formella spr\u00E5kets alfabet. Ett formellt spr\u00E5k \u00E4r en delm\u00E4ngd av \u03A3*, d\u00E4r \u03A3* \u00E4r alla m\u00F6jliga kombinationer av str\u00E4ngar \u00F6ver alfabetet \u03A3. Ett formellt spr\u00E5k kan definieras p\u00E5 m\u00E5nga s\u00E4tt, exempel:"@sv , "Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe costruite sopra un alfabeto, cio\u00E8 sopra un insieme di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere. Sovente si suppone che l'alfabeto sul quale \u00E8 costruito il linguaggio sia un insieme finito."@it , "\u0641\u064A \u0627\u0644\u0631\u064A\u0627\u0636\u064A\u0627\u062A \u0648\u0627\u0644\u0645\u0646\u0637\u0642 \u0648\u0627\u0644\u0645\u0639\u0644\u0648\u0645\u0627\u062A\u064A\u0629\u060C \u064A\u0637\u0644\u0642 \u0645\u0635\u0637\u0644\u062D \u0627\u0644\u0644\u063A\u0629 \u0627\u0644\u0634\u0643\u0644\u064A\u0629 L \u0639\u0644\u0649 \u0623\u064A \u0645\u062C\u0645\u0648\u0639\u0629 \u0645\u0646 \u0627\u0644\u062C\u0645\u0644 \u0645\u062D\u062F\u0648\u062F\u0629 \u0627\u0644\u0637\u0648\u0644 \u0627\u0644\u0645\u0623\u062E\u0648\u0630\u0629 \u0645\u0646 \u0645\u062C\u0645\u0648\u0639\u0629 \u0646\u0647\u0627\u0626\u064A\u0629 A \u062A\u0633\u0645\u0649 \u0627\u0644\u062D\u0631\u0648\u0641 \u0627\u0644\u0623\u0628\u062C\u062F\u064A\u0629. \u0641\u0645\u0646 \u062E\u0644\u0627\u0644 \u0645\u062E\u062A\u0644\u0641 \u062A\u0637\u0628\u064A\u0642\u0627\u062A \u0627\u0644\u0644\u063A\u0627\u062A \u0627\u0644\u0634\u0643\u0644\u064A\u0629\u060C \u064A\u0645\u0643\u0646 \u0623\u0646 \u0646\u0646\u0638\u0631 \u0625\u0644\u0649 \u0627\u0644\u0644\u063A\u0629 \u0627\u0644\u0634\u0643\u0644\u064A\u0629 \u0639\u0644\u0649 \u0623\u0646\u0647\u0627 \u0645\u0645\u0627\u062B\u0644\u0629 \u0644\u0645\u062C\u0645\u0648\u0639\u0629 \u0643\u0644\u0645\u0627\u062A \u0623\u0648 \u0645\u062C\u0645\u0648\u0639\u0629 \u062C\u0645\u0644."@ar , "J\u0119zyk formalny \u2013 podzbi\u00F3r zbioru wszystkich s\u0142\u00F3w nad sko\u0144czonym alfabetem. J\u0119zyk formalny jest kluczowym poj\u0119ciem w informatyce, logice matematycznej i j\u0119zykoznawstwie. J\u0119zyk formalny nie jest u\u015Bci\u015Bleniem poj\u0119cia j\u0119zyka naturalnego. Alfabet j\u0119zyka formalnego sk\u0142ada si\u0119 z symboli, s\u0142\u00F3w, lub token\u00F3w kt\u00F3rych konkatenacje stanowi\u0105 \u0142a\u0144cuchy j\u0119zyka."@pl , "\u5F62\u5F0F\u8A00\u8A9E\uFF08\u3051\u3044\u3057\u304D\u3052\u3093\u3054\u3001\u82F1: formal language\uFF09\u306F\u3001\u305D\u306E\u6587\u6CD5\uFF08\u69CB\u6587\u3001\u7D71\u8A9E\u8AD6\uFF09\u304C\u3001\u5834\u5408\u306B\u3088\u3063\u3066\u306F\u610F\u5473\uFF08\u610F\u5473\u8AD6\uFF09\u3082\u3001\u5F62\u5F0F\u7684\u306B\u4E0E\u3048\u3089\u308C\u3066\u3044\u308B\uFF08\u5F62\u5F0F\u4F53\u7CFB\u3092\u53C2\u7167\uFF09\u8A00\u8A9E\u3067\u3042\u308B\u3002\u5F62\u5F0F\u7684\u3067\u306A\u3044\u305F\u3081\u306B\u3001\u3057\u3070\u3057\u3070\u66D6\u6627\u3055\u304C\u6B8B\u3055\u308C\u305F\u308A\u3001\u8A71\u8005\u96C6\u56E3\u306B\u3088\u3063\u3066\u7528\u6CD5\u306E\u3046\u3064\u308D\u3044\u3086\u304F\u3088\u3046\u306A\u81EA\u7136\u8A00\u8A9E\u306B\u5BFE\u3057\u3066\u3001\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u3092\u542B\u3080\u4E00\u90E8\u306E\u4EBA\u5DE5\u8A00\u8A9E\u3084\u3001\u3044\u308F\u3086\u308B\u6A5F\u68B0\u53EF\u8AAD\u306A\uFF08\u6A5F\u68B0\u53EF\u8AAD\u76EE\u9332\u3092\u53C2\u7167\uFF09\u30C9\u30AD\u30E5\u30E1\u30F3\u30C8\u985E\u306A\u3069\u306E\u5F62\u5F0F\u8A00\u8A9E\u306F\u3001\u7528\u6CD5\u306E\u5909\u5316\u306B\u95A2\u3057\u3066\u306F\u53B3\u683C\u3067\u3042\u308B\u3002\u3053\u306E\u8A18\u4E8B\u3067\u306F\u5F62\u5F0F\u7684\u306A\u7D71\u8A9E\u8AD6\u3059\u306A\u308F\u3061\u69CB\u6587\u306E\u5F62\u5F0F\u7684\u306A\u5B9A\u7FA9\u3068\u5F62\u5F0F\u6587\u6CD5\u306B\u3064\u3044\u3066\u8FF0\u3079\u308B\u3002\u5F62\u5F0F\u7684\u306A\u610F\u5473\u8AD6\u306B\u3064\u3044\u3066\u306F\u5F62\u5F0F\u610F\u5473\u8AD6\u306E\u8A18\u4E8B\u3092\u53C2\u7167\u3002"@ja , "\u5728\u6570\u5B66\u3001\u903B\u8F91\u548C\u8BA1\u7B97\u673A\u79D1\u5B66\u4E2D\uFF0C\u5F62\u5F0F\u8BED\u8A00\uFF08\u82F1\u8A9E\uFF1AFormal language\uFF09\u662F\u7528\u7CBE\u786E\u7684\u6570\u5B66\u6216\u673A\u5668\u53EF\u5904\u7406\u7684\u516C\u5F0F\u5B9A\u4E49\u7684\u8BED\u8A00\u3002 \u5982\u8BED\u8A00\u5B66\u4E2D\u8BED\u8A00\u4E00\u6837\uFF0C\u5F62\u5F0F\u8BED\u8A00\u4E00\u822C\u6709\u4E24\u4E2A\u65B9\u9762\uFF1A\u8BED\u6CD5\u548C\u8BED\u4E49\u3002\u4E13\u95E8\u7814\u7A76\u8BED\u8A00\u7684\u8BED\u6CD5\u7684\u6570\u5B66\u548C\u8BA1\u7B97\u673A\u79D1\u5B66\u5206\u652F\u53EB\u505A\u5F62\u5F0F\u8BED\u8A00\u7406\u8BBA\uFF0C\u5B83\u53EA\u7814\u7A76\u8BED\u8A00\u7684\u8BED\u6CD5\u800C\u4E0D\u81F4\u529B\u4E8E\u5B83\u7684\u8BED\u4E49\u3002\u5728\u5F62\u5F0F\u8BED\u8A00\u7406\u8BBA\u4E2D\uFF0C\u5F62\u5F0F\u8BED\u8A00\u662F\u4E00\u4E2A\u5B57\u6BCD\u8868\u4E0A\u7684\u67D0\u4E9B\u6709\u9650\u957F\u5B57\u7B26\u4E32\u7684\u96C6\u5408\u3002\u4E00\u4E2A\u5F62\u5F0F\u8BED\u8A00\u53EF\u4EE5\u5305\u542B\u65E0\u9650\u591A\u4E2A\u5B57\u7B26\u4E32\u3002"@zh , "Form\u00E1ln\u00ED jazyk je v matematice, logice a informatice libovoln\u00E1 mno\u017Eina kone\u010Dn\u00FDch \u0159et\u011Bzc\u016F (tj. \u0159et\u011Bzc\u016F kone\u010Dn\u00E9 d\u00E9lky) nad ur\u010Ditou abecedou. M\u00EDsto v\u00FDrazu \u201E\u0159et\u011Bzec\u201C se \u010Dasto pou\u017E\u00EDv\u00E1 v\u00FDraz \u201Eslovo\u201C (zejm\u00E9na p\u0159i lexik\u00E1ln\u00ED anal\u00FDze) nebo \u201Ev\u011Bta\u201C (zejm\u00E9na p\u0159i syntaktick\u00E9 anal\u00FDze a anal\u00FDze v\u011Bt p\u0159irozen\u00E9ho jazyka). P\u0159esn\u00E1 definice pojmu form\u00E1ln\u00ED jazyk se m\u016F\u017Ee li\u0161it podle toho, v jak\u00E9m kontextu a v jak\u00E9m v\u011Bdn\u00EDm oboru jej pou\u017E\u00EDv\u00E1me. P\u0159esto\u017Ee abeceda je kone\u010Dn\u00E1 mno\u017Eina a \u0159et\u011Bzce maj\u00ED kone\u010Dnou d\u00E9lku, jazyk kone\u010Dn\u00FD b\u00FDt nemus\u00ED, jeliko\u017E d\u00E9lka (st\u00E1le kone\u010Dn\u00FDch) \u0159et\u011Bzc\u016F nemus\u00ED b\u00FDt shora omezena."@cs , "\u0424\u043E\u0440\u043C\u0430\u0301\u043B\u044C\u043D\u0430 \u043C\u043E\u0301\u0432\u0430 \u2014 \u043C\u043D\u043E\u0436\u0438\u043D\u0430 \u0441\u043A\u0456\u043D\u0447\u0435\u043D\u0438\u0445 \u043F\u043E\u0441\u043B\u0456\u0434\u043E\u0432\u043D\u043E\u0441\u0442\u0435\u0439 \u0441\u0438\u043C\u0432\u043E\u043B\u0456\u0432, \u044F\u043A\u0456 \u043E\u043F\u0438\u0441\u0443\u044E\u0442\u044C\u0441\u044F \u043F\u0440\u0430\u0432\u0438\u043B\u0430\u043C\u0438 \u043F\u0435\u0432\u043D\u043E\u0433\u043E \u0432\u0438\u0434\u0443, \u044F\u043A\u0456 \u043D\u0430\u0437\u0438\u0432\u0430\u044E\u0442\u044C\u0441\u044F \u0433\u0440\u0430\u043C\u0430\u0442\u0438\u043A\u043E\u044E, \u0430\u0431\u043E \u0441\u0438\u043D\u0442\u0430\u043A\u0441\u0438\u0441\u043E\u043C \u043C\u043E\u0432\u0438 (\u0434\u0438\u0432. \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0430 \u0433\u0440\u0430\u043C\u0430\u0442\u0438\u043A\u0430). \u0412 \u0442\u043E\u043C\u0443 \u0432\u0438\u043F\u0430\u0434\u043A\u0443, \u043A\u043E\u043B\u0438 \u043A\u043E\u0436\u043D\u043E\u043C\u0443 \u0441\u043B\u043E\u0432\u0443 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0457 \u043C\u043E\u0432\u0438 \u0441\u043F\u0456\u0432\u0441\u0442\u0430\u0432\u043B\u044F\u0454\u0442\u044C\u0441\u044F \u0439\u043E\u0433\u043E \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u0430 (\u0441\u0435\u043D\u0441, \u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F, \u0456\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u0430\u0446\u0456\u044F), \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0443 \u043C\u043E\u0432\u0443 \u043D\u0430\u0437\u0438\u0432\u0430\u044E\u0442\u044C \u0456\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u043E\u0432\u0430\u043D\u043E\u044E. \u0424\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0456 \u043C\u043E\u0432\u0438 \u043C\u043E\u0436\u043D\u0430 \u043A\u043B\u0430\u0441\u0438\u0444\u0456\u043A\u0443\u0432\u0430\u0442\u0438 \u0437\u0430 \u0445\u0430\u0440\u0430\u043A\u0442\u0435\u0440\u043E\u043C \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0433\u043E \u0430\u043F\u0430\u0440\u0430\u0442\u0443, \u0449\u043E \u0437\u0430\u0441\u0442\u043E\u0441\u043E\u0432\u0443\u0454\u0442\u044C\u0441\u044F \u0434\u043B\u044F \u0457\u0445\u043D\u044C\u043E\u0433\u043E \u043E\u043F\u0438\u0441\u0430\u043D\u043D\u044F: \n* , \n* , \n* , \n* , \u0456 \u0442\u0430\u043A \u0434\u0430\u043B\u0456, \u0430\u0431\u043E \u0437\u0430 \u0437\u0430\u0441\u0442\u043E\u0441\u0443\u0432\u0430\u043D\u043D\u044F\u043C: \n* \u0410\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0456\u0447\u043D\u0430 \u043C\u043E\u0432\u0430, \n* \u0406\u043D\u0444\u043E\u0440\u043C\u0430\u0446\u0456\u0439\u043D\u0430 \u043C\u043E\u0432\u0430, \n* , \n* \u041C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u0456 \u043C\u043E\u0434\u0435\u043B\u0456 \u043C\u043E\u0432\u0438."@uk , "Vastasence formala lingvo estas lingvo kies sintakso kaj semantiko havas rigoran matematikan difinon. Grava ekzemplo estas la programlingvoj kaj diversaj logikaj kalkuloj. La nocio apartenas al semiotiko, matematiko, komputado, lingvoscienco. \u0108i-sube formala lingvo estos traktata en la malvasta signifo sintakse formala lingvo. \u011Ci precipe aktualas por , , . \u011Ci estas studata en la ."@eo , "En matem\u00E1ticas, l\u00F3gica y ciencias de la computaci\u00F3n, un lenguaje formal es un lenguaje cuyos s\u00EDmbolos son primitivos y las reglas para unir esos s\u00EDmbolos est\u00E1n formalmente especificadas.\u200B\u200B Al conjunto de los s\u00EDmbolos primitivos se le llama el alfabeto (o vocabulario) del lenguaje, y al conjunto de las reglas se le llama la gram\u00E1tica formal (o sintaxis). A una cadena de s\u00EDmbolos formada de acuerdo a la gram\u00E1tica se le llama una f\u00F3rmula bien formada (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es id\u00E9ntico al conjunto de todas sus f\u00F3rmulas bien formadas."@es , "\u0424\u043E\u0440\u043C\u0430\u0301\u043B\u044C\u043D\u044B\u0439 \u044F\u0437\u044B\u0301\u043A \u0432 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0435, \u0438\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u0435 \u0438 \u043B\u0438\u043D\u0433\u0432\u0438\u0441\u0442\u0438\u043A\u0435 \u2014 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u043E \u043A\u043E\u043D\u0435\u0447\u043D\u044B\u0445 \u0441\u043B\u043E\u0432 (\u0441\u0442\u0440\u043E\u043A, \u0446\u0435\u043F\u043E\u0447\u0435\u043A) \u043D\u0430\u0434 \u043A\u043E\u043D\u0435\u0447\u043D\u044B\u043C \u0430\u043B\u0444\u0430\u0432\u0438\u0442\u043E\u043C. \u041F\u043E\u043D\u044F\u0442\u0438\u0435 \u044F\u0437\u044B\u043A\u0430 \u0447\u0430\u0449\u0435 \u0432\u0441\u0435\u0433\u043E \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u0435\u0442\u0441\u044F \u0432 \u0442\u0435\u043E\u0440\u0438\u0438 \u0430\u0432\u0442\u043E\u043C\u0430\u0442\u043E\u0432, \u0442\u0435\u043E\u0440\u0438\u0438 \u0432\u044B\u0447\u0438\u0441\u043B\u0438\u043C\u043E\u0441\u0442\u0438 \u0438 \u0442\u0435\u043E\u0440\u0438\u0438 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u043E\u0432. \u041D\u0430\u0443\u0447\u043D\u0430\u044F \u0442\u0435\u043E\u0440\u0438\u044F, \u043A\u043E\u0442\u043E\u0440\u0430\u044F \u0438\u043C\u0435\u0435\u0442 \u0434\u0435\u043B\u043E \u0441 \u044D\u0442\u0438\u043C \u043E\u0431\u044A\u0435\u043A\u0442\u043E\u043C, \u043D\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F . \u0412 \u0442\u0435\u043E\u0440\u0438\u0438 \u043C\u043E\u0434\u0435\u043B\u0435\u0439 \u044F\u0437\u044B\u043A \u0441\u0442\u0440\u043E\u0438\u0442\u0441\u044F \u0438\u0437 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432 \u0441\u0438\u043C\u0432\u043E\u043B\u043E\u0432, \u0444\u0443\u043D\u043A\u0446\u0438\u0439 \u0438 \u043E\u0442\u043D\u043E\u0448\u0435\u043D\u0438\u0439 \u0432\u043C\u0435\u0441\u0442\u0435 \u0441 \u0438\u0445 \u0430\u0440\u043D\u043E\u0441\u0442\u044C\u044E, \u0430 \u0442\u0430\u043A\u0436\u0435 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 \u043F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u044B\u0445. \u041A\u0430\u0436\u0434\u043E\u0435 \u0438\u0437 \u044D\u0442\u0438\u0445 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u0431\u0435\u0441\u043A\u043E\u043D\u0435\u0447\u043D\u044B\u043C. \u0418\u0437 \u044F\u0437\u044B\u043A\u0430 \u0432\u043C\u0435\u0441\u0442\u0435 \u0441 \u0443\u043D\u0438\u0432\u0435\u0440\u0441\u0430\u043B\u044C\u043D\u044B\u043C\u0438 \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u0438\u043C\u0438 \u0441\u0438\u043C\u0432\u043E\u043B\u0430\u043C\u0438 \u0441\u043E\u0441\u0442\u0430\u0432\u043B\u044F\u044E\u0442\u0441\u044F \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u0438\u0435 \u0432\u044B\u0441\u043A\u0430\u0437\u044B\u0432\u0430\u043D\u0438\u044F."@ru , "De term formele taal heeft ten minste drie verwante betekenissen: 1. \n* vormelijk taalgebruik; 2. \n* taal waarvan de vorm en meestal betekenis exact vastliggen, meestal door middel van wiskundige definities; 3. \n* een verzameling tekenreeksen."@nl , "\uC218\uD559, \uCEF4\uD4E8\uD130 \uACFC\uD559, \uC5B8\uC5B4\uD559\uC5D0\uC11C \uD615\uC2DD \uC5B8\uC5B4(\u5F62\u5F0F\u8A00\u8A9E, formal language)\uB780, \uD2B9\uC815\uD55C \uBC95\uCE59\uB4E4\uC5D0 \uB530\uB77C \uC801\uC808\uD558\uAC8C \uAD6C\uC131\uB41C \uBB38\uC790\uC5F4\uB4E4\uC758 \uC9D1\uD569\uC744 \uB9D0\uD55C\uB2E4. \uC774\uB294 \uC218\uD559\uAE30\uCD08\uB860, \uC5B8\uC5B4\uD559, \uC815\uBCF4 \uC774\uB860\uC758 \uD575\uC2EC\uC801 \uAC1C\uB150\uC774\uBA70, \uACC4\uC0B0\uAC00\uB2A5\uC131 \uC774\uB860\uACFC \uBC00\uC811\uD558\uAC8C \uAD00\uB828\uB418\uC5B4 \uC788\uB2E4."@ko . @prefix foaf: . dbr:Formal_language foaf:depiction , . @prefix dcterms: . @prefix dbc: . dbr:Formal_language dcterms:subject dbc:Combinatorics_on_words , dbc:Formal_languages , dbc:Theoretical_computer_science . @prefix dbo: . dbr:Formal_language dbo:wikiPageID 10939 ; dbo:wikiPageRevisionID 1124503741 ; dbo:wikiPageWikiLink dbr:Formal_method , dbr:Complexity_class , dbr:Proposition , dbr:Model_theory , dbr:Arto_Salomaa , dbr:Deterministic_context-free_language , dbr:Axiom , dbr:Axel_Thue , dbr:Recursively_enumerable_language , dbr:Context_sensitive_language , dbc:Combinatorics_on_words , dbr:Combinatorics_on_words , dbr:Virtual_machine , dbr:Recursive_language , dbc:Formal_languages , dbr:Mathematical_notation , , , dbr:String_operations , dbr:Characteristica_universalis , , dbr:Begriffsschrift , dbr:Regular_language , dbr:Springer_Verlag , , dbr:ASCII , dbr:Countable_set , , dbr:String_homomorphism , , dbr:Semantics , dbr:Carl_Friedrich_Gauss , dbr:Grzegorz_Rozenberg , dbr:Parsing , dbr:Context_free_language , dbr:Natural_language , dbr:Pictographs , dbr:Transformation_rule , dbr:Chomsky_hierarchy , , , , dbr:Decision_problem , dbr:Regular_grammar , , dbr:Programming_language , dbr:Natural_number , dbr:Well-formedness , dbr:Turing_machine , dbc:Theoretical_computer_science , , dbr:Parser_generator , , dbr:Free_monoid , dbr:Computer_science , dbr:Subset , dbr:Syntax , dbr:Character_encoding , dbr:Truth_value , , dbr:Seymour_Ginsburg , dbr:Mathematics , dbr:Finite-state_machine , dbr:Executable , dbr:Noam_Chomsky , dbr:John_Backus , dbr:Abstract_syntax_tree , dbr:FORTRAN , dbr:Rule_of_inference , dbr:Regular_expression , dbr:Proof_theory , dbr:Foundations_of_mathematics , dbr:Regular_expressions , dbr:Post_canonical_system , dbr:Mathematical_logic , dbr:Kleene_star , dbr:Logic , , dbr:Gottfried_Leibniz , dbr:Emil_Post , , dbr:Automata_theory , dbr:Abstract_family_of_languages , , , dbr:Formation_rule , dbr:Intermediate_code , , dbr:Unicode , dbr:Lexical_analyzer , dbr:Identifier , dbr:Undecidable_problem , dbr:Computational_complexity_theory , dbr:Axiomatic_system , dbr:Formal_grammar , dbr:Algorithm , dbr:Associative_array , dbr:Context-free_language , dbr:First-order_logic , dbr:Grammar_framework , dbr:Gauss_notation , dbr:Linguistics , dbr:Alphanumeric , , dbr:Alphabet , , dbr:Deductive_apparatus , dbr:Context-free_grammar , dbr:Cambridge_University_Press , , dbr:Machine_code , dbr:Parser , dbr:Indexed_language , , , dbr:Gottlob_Frege , , dbr:Lex_programming_tool , dbr:Well-formed_formula , dbr:Concatenation ; dbo:wikiPageExternalLink , , , , , , , , , , ; owl:sameAs , , . @prefix dbpedia-de: . dbr:Formal_language owl:sameAs dbpedia-de:Formale_Sprache . @prefix ns10: . dbr:Formal_language owl:sameAs ns10:qBYk , . @prefix dbpedia-nl: . dbr:Formal_language owl:sameAs dbpedia-nl:Formele_taal . @prefix dbpedia-es: . dbr:Formal_language owl:sameAs dbpedia-es:Lenguaje_formal , , , . @prefix dbpedia-ca: . dbr:Formal_language owl:sameAs dbpedia-ca:Llenguatge_formal . @prefix dbpedia-simple: . dbr:Formal_language owl:sameAs dbpedia-simple:Formal_language . @prefix dbpedia-sh: . dbr:Formal_language owl:sameAs dbpedia-sh:Formalni_jezik . @prefix dbpedia-fr: . dbr:Formal_language owl:sameAs dbpedia-fr:Langage_formel , , , , , , , . @prefix ns17: . dbr:Formal_language owl:sameAs ns17:Formali_kalba . @prefix dbpedia-hr: . dbr:Formal_language owl:sameAs dbpedia-hr:Formalni_jezik , , , . @prefix dbpedia-da: . dbr:Formal_language owl:sameAs dbpedia-da:Formalsprog . @prefix dbpedia-eo: . dbr:Formal_language owl:sameAs dbpedia-eo:Formala_lingvo . @prefix yago-res: . dbr:Formal_language owl:sameAs yago-res:Formal_language , , . @prefix dbpedia-ro: . dbr:Formal_language owl:sameAs dbpedia-ro:Limbaj_formal , , , , , . @prefix ns23: . dbr:Formal_language owl:sameAs ns23:Formalni_jezik . @prefix dbpedia-fi: . dbr:Formal_language owl:sameAs dbpedia-fi:Formaali_kieli . @prefix ns25: . dbr:Formal_language owl:sameAs ns25:Rasmiy_til . @prefix dbpedia-it: . dbr:Formal_language owl:sameAs dbpedia-it:Linguaggio_formale . @prefix dbpedia-pt: . dbr:Formal_language owl:sameAs dbpedia-pt:Linguagem_formal . @prefix dbpedia-id: . dbr:Formal_language owl:sameAs dbpedia-id:Bahasa_formal . @prefix dbpedia-lmo: . dbr:Formal_language owl:sameAs dbpedia-lmo:Lenguagg_formal , , , . @prefix wikidata: . dbr:Formal_language owl:sameAs wikidata:Q192161 . @prefix dbp: . @prefix dbt: . dbr:Formal_language dbp:wikiPageUsesTemplate dbt:NoteFoot , dbt:NoteTag , dbt:No , dbt:Mvar , dbt:Refend , dbt:Authority_control , dbt:Reflist , dbt:Commonscat , dbt:Refbegin , dbt:Cite_book , dbt:Springer , dbt:Use_dmy_dates , dbt:Short_description , dbt:Mathematical_logic , dbt:Expand_section , dbt:Main , dbt:Webarchive , dbt:About , dbt:ISBN , dbt:Formal_languages_and_grammars , dbt:Yes ; dbo:thumbnail . @prefix xsd: . dbr:Formal_language dbp:date "2007-11-21"^^xsd:date ; dbp:id "p/f040830"@en ; dbp:title "Formal language"@en ; dbp:url ; dbo:abstract "Vastasence formala lingvo estas lingvo kies sintakso kaj semantiko havas rigoran matematikan difinon. Grava ekzemplo estas la programlingvoj kaj diversaj logikaj kalkuloj. La nocio apartenas al semiotiko, matematiko, komputado, lingvoscienco. Formalaj difinoj semantikaj estas diversaj kaj malfacilaj, dum por la priskriboj sintaksaj ekzistas tute ta\u016Dgaj kaj \u011Denerale akcepitaj rimedoj teoriaj kaj praktikaj. Krome, la idealo matematika estas redukti semantikon al sintaktso (rezoni la\u016Dforme, konkludi pri vereco surbaze de sintaksa \u011Dusteco). Tio plene prosperis pri la ; tio maleblas pri formalaj sistemoj pli malsimplaj. \u0108i-sube formala lingvo estos traktata en la malvasta signifo sintakse formala lingvo. \u011Ci precipe aktualas por , , . \u011Ci estas studata en la ."@eo , "\uC218\uD559, \uCEF4\uD4E8\uD130 \uACFC\uD559, \uC5B8\uC5B4\uD559\uC5D0\uC11C \uD615\uC2DD \uC5B8\uC5B4(\u5F62\u5F0F\u8A00\u8A9E, formal language)\uB780, \uD2B9\uC815\uD55C \uBC95\uCE59\uB4E4\uC5D0 \uB530\uB77C \uC801\uC808\uD558\uAC8C \uAD6C\uC131\uB41C \uBB38\uC790\uC5F4\uB4E4\uC758 \uC9D1\uD569\uC744 \uB9D0\uD55C\uB2E4. \uC774\uB294 \uC218\uD559\uAE30\uCD08\uB860, \uC5B8\uC5B4\uD559, \uC815\uBCF4 \uC774\uB860\uC758 \uD575\uC2EC\uC801 \uAC1C\uB150\uC774\uBA70, \uACC4\uC0B0\uAC00\uB2A5\uC131 \uC774\uB860\uACFC \uBC00\uC811\uD558\uAC8C \uAD00\uB828\uB418\uC5B4 \uC788\uB2E4."@ko , "Form\u00E1ln\u00ED jazyk je v matematice, logice a informatice libovoln\u00E1 mno\u017Eina kone\u010Dn\u00FDch \u0159et\u011Bzc\u016F (tj. \u0159et\u011Bzc\u016F kone\u010Dn\u00E9 d\u00E9lky) nad ur\u010Ditou abecedou. M\u00EDsto v\u00FDrazu \u201E\u0159et\u011Bzec\u201C se \u010Dasto pou\u017E\u00EDv\u00E1 v\u00FDraz \u201Eslovo\u201C (zejm\u00E9na p\u0159i lexik\u00E1ln\u00ED anal\u00FDze) nebo \u201Ev\u011Bta\u201C (zejm\u00E9na p\u0159i syntaktick\u00E9 anal\u00FDze a anal\u00FDze v\u011Bt p\u0159irozen\u00E9ho jazyka). P\u0159esn\u00E1 definice pojmu form\u00E1ln\u00ED jazyk se m\u016F\u017Ee li\u0161it podle toho, v jak\u00E9m kontextu a v jak\u00E9m v\u011Bdn\u00EDm oboru jej pou\u017E\u00EDv\u00E1me. P\u0159\u00EDkladem abecedy m\u016F\u017Ee b\u00FDt , \u0159et\u011Bzcem nad touto abecedou je nap\u0159\u00EDklad . P\u0159\u00EDkladem jazyka m\u016F\u017Ee b\u00FDt mno\u017Eina v\u0161ech \u0159et\u011Bzc\u016F nad touto abecedou, kter\u00E9 obsahuj\u00ED stejn\u00FD po\u010Det symbol\u016F jako . P\u0159esto\u017Ee abeceda je kone\u010Dn\u00E1 mno\u017Eina a \u0159et\u011Bzce maj\u00ED kone\u010Dnou d\u00E9lku, jazyk kone\u010Dn\u00FD b\u00FDt nemus\u00ED, jeliko\u017E d\u00E9lka (st\u00E1le kone\u010Dn\u00FDch) \u0159et\u011Bzc\u016F nemus\u00ED b\u00FDt shora omezena."@cs , "\u0424\u043E\u0440\u043C\u0430\u0301\u043B\u044C\u043D\u0430 \u043C\u043E\u0301\u0432\u0430 \u2014 \u043C\u043D\u043E\u0436\u0438\u043D\u0430 \u0441\u043A\u0456\u043D\u0447\u0435\u043D\u0438\u0445 \u043F\u043E\u0441\u043B\u0456\u0434\u043E\u0432\u043D\u043E\u0441\u0442\u0435\u0439 \u0441\u0438\u043C\u0432\u043E\u043B\u0456\u0432, \u044F\u043A\u0456 \u043E\u043F\u0438\u0441\u0443\u044E\u0442\u044C\u0441\u044F \u043F\u0440\u0430\u0432\u0438\u043B\u0430\u043C\u0438 \u043F\u0435\u0432\u043D\u043E\u0433\u043E \u0432\u0438\u0434\u0443, \u044F\u043A\u0456 \u043D\u0430\u0437\u0438\u0432\u0430\u044E\u0442\u044C\u0441\u044F \u0433\u0440\u0430\u043C\u0430\u0442\u0438\u043A\u043E\u044E, \u0430\u0431\u043E \u0441\u0438\u043D\u0442\u0430\u043A\u0441\u0438\u0441\u043E\u043C \u043C\u043E\u0432\u0438 (\u0434\u0438\u0432. \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0430 \u0433\u0440\u0430\u043C\u0430\u0442\u0438\u043A\u0430). \u0412 \u0442\u043E\u043C\u0443 \u0432\u0438\u043F\u0430\u0434\u043A\u0443, \u043A\u043E\u043B\u0438 \u043A\u043E\u0436\u043D\u043E\u043C\u0443 \u0441\u043B\u043E\u0432\u0443 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0457 \u043C\u043E\u0432\u0438 \u0441\u043F\u0456\u0432\u0441\u0442\u0430\u0432\u043B\u044F\u0454\u0442\u044C\u0441\u044F \u0439\u043E\u0433\u043E \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u0430 (\u0441\u0435\u043D\u0441, \u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F, \u0456\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u0430\u0446\u0456\u044F), \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0443 \u043C\u043E\u0432\u0443 \u043D\u0430\u0437\u0438\u0432\u0430\u044E\u0442\u044C \u0456\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u043E\u0432\u0430\u043D\u043E\u044E. \u0424\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0456 \u043C\u043E\u0432\u0438 \u043C\u043E\u0436\u043D\u0430 \u043A\u043B\u0430\u0441\u0438\u0444\u0456\u043A\u0443\u0432\u0430\u0442\u0438 \u0437\u0430 \u0445\u0430\u0440\u0430\u043A\u0442\u0435\u0440\u043E\u043C \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0433\u043E \u0430\u043F\u0430\u0440\u0430\u0442\u0443, \u0449\u043E \u0437\u0430\u0441\u0442\u043E\u0441\u043E\u0432\u0443\u0454\u0442\u044C\u0441\u044F \u0434\u043B\u044F \u0457\u0445\u043D\u044C\u043E\u0433\u043E \u043E\u043F\u0438\u0441\u0430\u043D\u043D\u044F: \n* , \n* , \n* , \n* , \u0456 \u0442\u0430\u043A \u0434\u0430\u043B\u0456, \u0430\u0431\u043E \u0437\u0430 \u0437\u0430\u0441\u0442\u043E\u0441\u0443\u0432\u0430\u043D\u043D\u044F\u043C: \n* \u0410\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0456\u0447\u043D\u0430 \u043C\u043E\u0432\u0430, \n* \u0406\u043D\u0444\u043E\u0440\u043C\u0430\u0446\u0456\u0439\u043D\u0430 \u043C\u043E\u0432\u0430, \n* , \n* \u041C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u0456 \u043C\u043E\u0434\u0435\u043B\u0456 \u043C\u043E\u0432\u0438. \u0411\u0456\u043B\u044C\u0448\u0456\u0441\u0442\u044C \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0438\u0445 \u043C\u043E\u0432, \u0441\u0442\u0432\u043E\u0440\u044E\u0432\u0430\u043D\u0438\u0445 \u0434\u043B\u044F \u043F\u0440\u0430\u043A\u0442\u0438\u0447\u043D\u0438\u0445 \u0446\u0456\u043B\u0435\u0439, \u0454 \u0456\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u043E\u0432\u0430\u043D\u0438\u043C\u0438 \u043C\u043E\u0432\u0430\u043C\u0438. \u0412\u0430\u0436\u043B\u0438\u0432\u0438\u0439 \u043A\u043B\u0430\u0441 \u0456\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u043E\u0432\u0430\u043D\u0438\u0445 \u043C\u043E\u0432 \u0441\u0442\u0430\u043D\u043E\u0432\u043B\u044F\u0442\u044C \u043C\u043E\u0432\u0438 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F, \u0430 \u0442\u0430\u043A\u043E\u0436 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0456\u0447\u043D\u0456 \u043C\u043E\u0432\u0438."@uk , "J\u0119zyk formalny \u2013 podzbi\u00F3r zbioru wszystkich s\u0142\u00F3w nad sko\u0144czonym alfabetem. J\u0119zyk formalny jest kluczowym poj\u0119ciem w informatyce, logice matematycznej i j\u0119zykoznawstwie. J\u0119zyk formalny nie jest u\u015Bci\u015Bleniem poj\u0119cia j\u0119zyka naturalnego. Alfabet j\u0119zyka formalnego sk\u0142ada si\u0119 z symboli, s\u0142\u00F3w, lub token\u00F3w kt\u00F3rych konkatenacje stanowi\u0105 \u0142a\u0144cuchy j\u0119zyka."@pl , "De term formele taal heeft ten minste drie verwante betekenissen: 1. \n* vormelijk taalgebruik; 2. \n* taal waarvan de vorm en meestal betekenis exact vastliggen, meestal door middel van wiskundige definities; 3. \n* een verzameling tekenreeksen."@nl , "Entende-se por linguagem formal estudo de modelos matem\u00E1ticos que possibilitam a especifica\u00E7\u00E3o e o reconhecimento de linguagens (no sentido amplo da palavra), suas classifica\u00E7\u00F5es, estruturas, propriedades, caracter\u00EDsticas e inter-relacionamentos . A import\u00E2ncia dessa teoria na ci\u00EAncia da computa\u00E7\u00E3o \u00E9 dupla: ela tanto apoia outros aspectos te\u00F3ricos da ci\u00EAncia da computa\u00E7\u00E3o (decidibilidade, computabilidade, complexidade computacional, por exemplo), como fundamenta diversas aplica\u00E7\u00F5es computacionais tais como processamento de linguagens, reconhecimento de padr\u00F5es, modelagem de sistemas. Para definir o que \u00E9 a teoria das linguagens formais \u00E9 preciso definir o que \u00E9 linguagem e o que \u00E9 linguagem formal. Inicialmente, de maneira bastante informal, podemos definir uma linguagem como sendo uma forma de comunica\u00E7\u00E3o. Elaborando um pouco mais esta defini\u00E7\u00E3o, podemos definir uma linguagem como sendo \"um conjunto de elementos (s\u00EDmbolos) e um conjunto de m\u00E9todos (regras) para combinar estes elementos, usado e entendido por uma determinada comunidade\". S\u00E3o exemplos as \"linguagens naturais\" (ou idiomas), \"linguagens de programa\u00E7\u00E3o\" e os \"protocolos de comunica\u00E7\u00E3o\". Assim, podemos dizer que \"linguagens formais\" s\u00E3o mecanismos formais para representa\u00E7\u00E3o e especifica\u00E7\u00E3o de linguagens, baseados na chamada \"teoria da computa\u00E7\u00E3o\". As representa\u00E7\u00F5es podem ser feitas por reconhecedores e geradores.Os reconhecedores s\u00E3o dispositivos formais que servem para verificar se uma frase pertence ou n\u00E3o \u00E0 determinada linguagem. S\u00E3o os aut\u00F4matos: aut\u00F4matos finitos, aut\u00F4matos de pilha e m\u00E1quina de Turing. Os sistemas geradores s\u00E3o dispositivos formais que permitem a gera\u00E7\u00E3o sistem\u00E1tica de todas as frases de uma linguagem. Os principais sistemas geradores dispon\u00EDveis s\u00E3o as gram\u00E1ticas, onde se destacam as gram\u00E1ticas de Chomsky. Ent\u00E3o, linguagens formais podem ser representadas de maneira finita e precisa atrav\u00E9s de sistemas com sustenta\u00E7\u00E3o matem\u00E1tica."@pt , "\u0641\u064A \u0627\u0644\u0631\u064A\u0627\u0636\u064A\u0627\u062A \u0648\u0627\u0644\u0645\u0646\u0637\u0642 \u0648\u0627\u0644\u0645\u0639\u0644\u0648\u0645\u0627\u062A\u064A\u0629\u060C \u064A\u0637\u0644\u0642 \u0645\u0635\u0637\u0644\u062D \u0627\u0644\u0644\u063A\u0629 \u0627\u0644\u0634\u0643\u0644\u064A\u0629 L \u0639\u0644\u0649 \u0623\u064A \u0645\u062C\u0645\u0648\u0639\u0629 \u0645\u0646 \u0627\u0644\u062C\u0645\u0644 \u0645\u062D\u062F\u0648\u062F\u0629 \u0627\u0644\u0637\u0648\u0644 \u0627\u0644\u0645\u0623\u062E\u0648\u0630\u0629 \u0645\u0646 \u0645\u062C\u0645\u0648\u0639\u0629 \u0646\u0647\u0627\u0626\u064A\u0629 A \u062A\u0633\u0645\u0649 \u0627\u0644\u062D\u0631\u0648\u0641 \u0627\u0644\u0623\u0628\u062C\u062F\u064A\u0629. \u0641\u0645\u0646 \u062E\u0644\u0627\u0644 \u0645\u062E\u062A\u0644\u0641 \u062A\u0637\u0628\u064A\u0642\u0627\u062A \u0627\u0644\u0644\u063A\u0627\u062A \u0627\u0644\u0634\u0643\u0644\u064A\u0629\u060C \u064A\u0645\u0643\u0646 \u0623\u0646 \u0646\u0646\u0638\u0631 \u0625\u0644\u0649 \u0627\u0644\u0644\u063A\u0629 \u0627\u0644\u0634\u0643\u0644\u064A\u0629 \u0639\u0644\u0649 \u0623\u0646\u0647\u0627 \u0645\u0645\u0627\u062B\u0644\u0629 \u0644\u0645\u062C\u0645\u0648\u0639\u0629 \u0643\u0644\u0645\u0627\u062A \u0623\u0648 \u0645\u062C\u0645\u0648\u0639\u0629 \u062C\u0645\u0644."@ar , "In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules. The alphabet of a formal language consists of symbols, letters, or tokens that concatenate into strings of the language. Each string concatenated from symbols of this alphabet is called a word, and the words that belong to a particular formal language are sometimes called well-formed words or well-formed formulas. A formal language is often defined by means of a formal grammar such as a regular grammar or context-free grammar, which consists of its formation rules. In computer science, formal languages are used among others as the basis for defining the grammar of programming languages and formalized versions of subsets of natural languages in which the words of the language represent concepts that are associated with particular meanings or semantics. In computational complexity theory, decision problems are typically defined as formal languages, and complexity classes are defined as the sets of the formal languages that can be parsed by machines with limited computational power. In logic and the foundations of mathematics, formal languages are used to represent the syntax of axiomatic systems, and mathematical formalism is the philosophy that all of mathematics can be reduced to the syntactic manipulation of formal languages in this way. The field of formal language theory studies primarily the purely syntactical aspects of such languages\u2014that is, their internal structural patterns. Formal language theory sprang out of linguistics, as a way of understanding the syntactic regularities of natural languages."@en , "En math\u00E9matiques, en informatique et en linguistique, un langage formel est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lex\u00E8mes qui servent \u00E0 construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La th\u00E9orie des langages formels a pour objectif de d\u00E9crire les langages formels. Les mots sont des suites d'\u00E9l\u00E9ments de cet alphabet ; les mots qui appartiennent \u00E0 un langage formel particulier sont parfois appel\u00E9s mots bien form\u00E9s ou formules bien form\u00E9es. Un langage formel est souvent d\u00E9fini par une grammaire formelle, telle que les grammaires alg\u00E9briques et analys\u00E9 par des automates."@fr , "\u0424\u043E\u0440\u043C\u0430\u0301\u043B\u044C\u043D\u044B\u0439 \u044F\u0437\u044B\u0301\u043A \u0432 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0435, \u0438\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u0435 \u0438 \u043B\u0438\u043D\u0433\u0432\u0438\u0441\u0442\u0438\u043A\u0435 \u2014 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u043E \u043A\u043E\u043D\u0435\u0447\u043D\u044B\u0445 \u0441\u043B\u043E\u0432 (\u0441\u0442\u0440\u043E\u043A, \u0446\u0435\u043F\u043E\u0447\u0435\u043A) \u043D\u0430\u0434 \u043A\u043E\u043D\u0435\u0447\u043D\u044B\u043C \u0430\u043B\u0444\u0430\u0432\u0438\u0442\u043E\u043C. \u041F\u043E\u043D\u044F\u0442\u0438\u0435 \u044F\u0437\u044B\u043A\u0430 \u0447\u0430\u0449\u0435 \u0432\u0441\u0435\u0433\u043E \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u0435\u0442\u0441\u044F \u0432 \u0442\u0435\u043E\u0440\u0438\u0438 \u0430\u0432\u0442\u043E\u043C\u0430\u0442\u043E\u0432, \u0442\u0435\u043E\u0440\u0438\u0438 \u0432\u044B\u0447\u0438\u0441\u043B\u0438\u043C\u043E\u0441\u0442\u0438 \u0438 \u0442\u0435\u043E\u0440\u0438\u0438 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u043E\u0432. \u041D\u0430\u0443\u0447\u043D\u0430\u044F \u0442\u0435\u043E\u0440\u0438\u044F, \u043A\u043E\u0442\u043E\u0440\u0430\u044F \u0438\u043C\u0435\u0435\u0442 \u0434\u0435\u043B\u043E \u0441 \u044D\u0442\u0438\u043C \u043E\u0431\u044A\u0435\u043A\u0442\u043E\u043C, \u043D\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F . \u0412 \u0442\u0435\u043E\u0440\u0438\u0438 \u043C\u043E\u0434\u0435\u043B\u0435\u0439 \u044F\u0437\u044B\u043A \u0441\u0442\u0440\u043E\u0438\u0442\u0441\u044F \u0438\u0437 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432 \u0441\u0438\u043C\u0432\u043E\u043B\u043E\u0432, \u0444\u0443\u043D\u043A\u0446\u0438\u0439 \u0438 \u043E\u0442\u043D\u043E\u0448\u0435\u043D\u0438\u0439 \u0432\u043C\u0435\u0441\u0442\u0435 \u0441 \u0438\u0445 \u0430\u0440\u043D\u043E\u0441\u0442\u044C\u044E, \u0430 \u0442\u0430\u043A\u0436\u0435 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 \u043F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u044B\u0445. \u041A\u0430\u0436\u0434\u043E\u0435 \u0438\u0437 \u044D\u0442\u0438\u0445 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u0431\u0435\u0441\u043A\u043E\u043D\u0435\u0447\u043D\u044B\u043C. \u0418\u0437 \u044F\u0437\u044B\u043A\u0430 \u0432\u043C\u0435\u0441\u0442\u0435 \u0441 \u0443\u043D\u0438\u0432\u0435\u0440\u0441\u0430\u043B\u044C\u043D\u044B\u043C\u0438 \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u0438\u043C\u0438 \u0441\u0438\u043C\u0432\u043E\u043B\u0430\u043C\u0438 \u0441\u043E\u0441\u0442\u0430\u0432\u043B\u044F\u044E\u0442\u0441\u044F \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u0438\u0435 \u0432\u044B\u0441\u043A\u0430\u0437\u044B\u0432\u0430\u043D\u0438\u044F."@ru , "\u03A3\u03C4\u03B1 \u03B4\u03B9\u03B1\u03BA\u03C1\u03B9\u03C4\u03AC \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03AC, \u03C3\u03C4\u03B7 \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03AE \u03BB\u03BF\u03B3\u03B9\u03BA\u03AE, \u03C3\u03C4\u03B7 \u03B8\u03B5\u03C9\u03C1\u03B7\u03C4\u03B9\u03BA\u03AE \u03C0\u03BB\u03B7\u03C1\u03BF\u03C6\u03BF\u03C1\u03B9\u03BA\u03AE \u03BA\u03B1\u03B9 \u03C3\u03C4\u03B7 \u03B3\u03BB\u03C9\u03C3\u03C3\u03BF\u03BB\u03BF\u03B3\u03AF\u03B1, \u03BC\u03B9\u03B1 \u03C4\u03C5\u03C0\u03B9\u03BA\u03AE \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 (formal language) \u03AE \u03B1\u03C0\u03BB\u03CE\u03C2 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 \u03B5\u03AF\u03BD\u03B1\u03B9 \u03B7 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 \u03C0\u03BF\u03C5 \u03BF\u03C1\u03AF\u03B6\u03B5\u03C4\u03B1\u03B9 \u03B1\u03C0\u03CC \u03B1\u03BA\u03C1\u03B9\u03B2\u03B5\u03AF\u03C2 \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03BF\u03CD\u03C2 \u03C4\u03CD\u03C0\u03BF\u03C5\u03C2, \u03AE \u03C4\u03CD\u03C0\u03BF\u03C5\u03C2 \u03C0\u03BF\u03C5 \u03BC\u03C0\u03BF\u03C1\u03B5\u03AF \u03BD\u03B1 \u03B5\u03C0\u03B5\u03BE\u03B5\u03C1\u03B3\u03B1\u03C3\u03C4\u03B5\u03AF \u03BC\u03B9\u03B1 \u03BC\u03B7\u03C7\u03B1\u03BD\u03AE. \u03A0\u03B9\u03BF \u03B1\u03BD\u03B1\u03BB\u03C5\u03C4\u03B9\u03BA\u03AC, \u03BC\u03B9\u03B1 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 \u03BF\u03C1\u03AF\u03B6\u03B5\u03C4\u03B1\u03B9 \u03C9\u03C2 \u03AD\u03BD\u03B1 \u03C0\u03B9\u03B8\u03B1\u03BD\u03CE\u03C2 \u03AC\u03C0\u03B5\u03B9\u03C1\u03BF \u03C3\u03CD\u03BD\u03BF\u03BB\u03BF \u03B1\u03C0\u03CC \u03C0\u03B5\u03C0\u03B5\u03C1\u03B1\u03C3\u03BC\u03AD\u03BD\u03BF\u03C5 \u03BC\u03AE\u03BA\u03BF\u03C5\u03C2 \u03C3\u03B5\u03B9\u03C1\u03AD\u03C2 \u03B1\u03C0\u03CC \u03C3\u03C4\u03BF\u03B9\u03C7\u03B5\u03AF\u03B1 \u03C0\u03C1\u03BF\u03B5\u03C1\u03C7\u03CC\u03BC\u03B5\u03BD\u03B1 \u03B1\u03C0\u03CC \u03AD\u03BD\u03B1 \u03BA\u03B1\u03B8\u03BF\u03C1\u03B9\u03C3\u03BC\u03AD\u03BD\u03BF, \u03C0\u03B5\u03C0\u03B5\u03C1\u03B1\u03C3\u03BC\u03AD\u03BD\u03BF \u03C3\u03CD\u03BD\u03BF\u03BB\u03BF (\u03B1\u03BB\u03C6\u03AC\u03B2\u03B7\u03C4\u03BF). \u039F \u03BA\u03BB\u03AC\u03B4\u03BF\u03C2 \u03C0\u03BF\u03C5 \u03BC\u03B5\u03BB\u03B5\u03C4\u03AC \u03C4\u03B9\u03C2 \u03B9\u03B4\u03B9\u03CC\u03C4\u03B7\u03C4\u03B5\u03C2 \u03C4\u03C9\u03BD \u03C4\u03C5\u03C0\u03B9\u03BA\u03CE\u03BD \u03B3\u03BB\u03C9\u03C3\u03C3\u03CE\u03BD \u03BB\u03AD\u03B3\u03B5\u03C4\u03B1\u03B9 \u03B8\u03B5\u03C9\u03C1\u03AF\u03B1 \u03C4\u03C5\u03C0\u03B9\u03BA\u03CE\u03BD \u03B3\u03BB\u03C9\u03C3\u03C3\u03CE\u03BD. \u038C\u03C0\u03C9\u03C2 \u03BA\u03B1\u03B9 \u03BF\u03B9 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B5\u03C2 \u03C3\u03C4\u03B7 \u03B3\u03BB\u03C9\u03C3\u03C3\u03BF\u03BB\u03BF\u03B3\u03AF\u03B1, \u03BF\u03B9 \u03C4\u03C5\u03C0\u03B9\u03BA\u03AD\u03C2 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B5\u03C2 \u03AD\u03C7\u03BF\u03C5\u03BD \u03B3\u03B5\u03BD\u03B9\u03BA\u03AC \u03B4\u03C5\u03BF \u03C0\u03BB\u03B5\u03C5\u03C1\u03AD\u03C2: \n* \u03A4\u03BF \u03C3\u03C5\u03BD\u03C4\u03B1\u03BA\u03C4\u03B9\u03BA\u03CC \u03BC\u03B9\u03B1\u03C2 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1\u03C2 \u03AD\u03C7\u03B5\u03B9 \u03BD\u03B1 \u03BA\u03AC\u03BD\u03B5\u03B9 \u03BC\u03B5 \u03C4\u03BF \u03C0\u03CE\u03C2 \u03C6\u03B1\u03AF\u03BD\u03B5\u03C4\u03B1\u03B9 \u03B7 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1, \u03AE, \u03C0\u03B9\u03BF \u03B5\u03C0\u03AF\u03C3\u03B7\u03BC\u03B1, \u03B5\u03AF\u03BD\u03B1\u03B9 \u03C4\u03BF \u03C3\u03CD\u03BD\u03BF\u03BB\u03BF \u03CC\u03BB\u03C9\u03BD \u03C4\u03C9\u03BD \u03C0\u03B9\u03B8\u03B1\u03BD\u03CE\u03BD \u03B5\u03BA\u03C6\u03C1\u03AC\u03C3\u03B5\u03C9\u03BD \u03C0\u03BF\u03C5 \u03B1\u03BD\u03AE\u03BA\u03BF\u03C5\u03BD \u03C3\u03C4\u03B7 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1. \n* \u0397 \u03C3\u03B7\u03BC\u03B1\u03C3\u03B9\u03BF\u03BB\u03BF\u03B3\u03AF\u03B1 (\u03AE \u03C3\u03B7\u03BC\u03B1\u03BD\u03C4\u03B9\u03BA\u03AE) \u03AD\u03C7\u03B5\u03B9 \u03BD\u03B1 \u03BA\u03AC\u03BD\u03B5\u03B9 \u03BC\u03B5 \u03C4\u03B7\u03BD \u03B5\u03C1\u03BC\u03B7\u03BD\u03B5\u03AF\u03B1 \u03C4\u03C9\u03BD \u03C6\u03C1\u03AC\u03C3\u03B5\u03C9\u03BD \u03C4\u03B7\u03C2 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1\u03C2, \u03BA\u03B1\u03B9 \u03BF\u03C1\u03AF\u03B6\u03B5\u03C4\u03B1\u03B9 \u03B5\u03C0\u03AF\u03C3\u03B7\u03BC\u03B1 \u03BC\u03B5 \u03B4\u03B9\u03AC\u03C6\u03BF\u03C1\u03BF\u03C5\u03C2 \u03C4\u03C1\u03CC\u03C0\u03BF\u03C5\u03C2, \u03B1\u03BD\u03AC\u03BB\u03BF\u03B3\u03B1 \u03BC\u03B5 \u03C4\u03BF \u03B5\u03AF\u03B4\u03BF\u03C2 \u03C4\u03B7\u03C2 \u03B5\u03BA\u03AC\u03C3\u03C4\u03BF\u03C4\u03B5 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1\u03C2."@el , "Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe costruite sopra un alfabeto, cio\u00E8 sopra un insieme di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere. Sovente si suppone che l'alfabeto sul quale \u00E8 costruito il linguaggio sia un insieme finito."@it , "\u5728\u6570\u5B66\u3001\u903B\u8F91\u548C\u8BA1\u7B97\u673A\u79D1\u5B66\u4E2D\uFF0C\u5F62\u5F0F\u8BED\u8A00\uFF08\u82F1\u8A9E\uFF1AFormal language\uFF09\u662F\u7528\u7CBE\u786E\u7684\u6570\u5B66\u6216\u673A\u5668\u53EF\u5904\u7406\u7684\u516C\u5F0F\u5B9A\u4E49\u7684\u8BED\u8A00\u3002 \u5982\u8BED\u8A00\u5B66\u4E2D\u8BED\u8A00\u4E00\u6837\uFF0C\u5F62\u5F0F\u8BED\u8A00\u4E00\u822C\u6709\u4E24\u4E2A\u65B9\u9762\uFF1A\u8BED\u6CD5\u548C\u8BED\u4E49\u3002\u4E13\u95E8\u7814\u7A76\u8BED\u8A00\u7684\u8BED\u6CD5\u7684\u6570\u5B66\u548C\u8BA1\u7B97\u673A\u79D1\u5B66\u5206\u652F\u53EB\u505A\u5F62\u5F0F\u8BED\u8A00\u7406\u8BBA\uFF0C\u5B83\u53EA\u7814\u7A76\u8BED\u8A00\u7684\u8BED\u6CD5\u800C\u4E0D\u81F4\u529B\u4E8E\u5B83\u7684\u8BED\u4E49\u3002\u5728\u5F62\u5F0F\u8BED\u8A00\u7406\u8BBA\u4E2D\uFF0C\u5F62\u5F0F\u8BED\u8A00\u662F\u4E00\u4E2A\u5B57\u6BCD\u8868\u4E0A\u7684\u67D0\u4E9B\u6709\u9650\u957F\u5B57\u7B26\u4E32\u7684\u96C6\u5408\u3002\u4E00\u4E2A\u5F62\u5F0F\u8BED\u8A00\u53EF\u4EE5\u5305\u542B\u65E0\u9650\u591A\u4E2A\u5B57\u7B26\u4E32\u3002"@zh , "Ett formellt spr\u00E5k \u00E4r en m\u00E4ngd ord \u00F6ver ett alfabet \u03A3. Ett alfabet best\u00E5r av en m\u00E4ngd symboler, t.ex. \u03A3 = {1,2,3,4,5,6,7,8,9,0} och ett ord best\u00E5r av en str\u00E4ng av alfabetets symboler, h\u00E4r exempelvis \"0124311\". Ett formellt spr\u00E5k \u00E4r allts\u00E5 en m\u00E4ngd av s\u00E5dana str\u00E4ngar (ord) som i sin tur endast inneh\u00E5ller symboler ur det formella spr\u00E5kets alfabet. Ett formellt spr\u00E5k \u00E4r en delm\u00E4ngd av \u03A3*, d\u00E4r \u03A3* \u00E4r alla m\u00F6jliga kombinationer av str\u00E4ngar \u00F6ver alfabetet \u03A3. Ett formellt spr\u00E5k (dvs vilka ord spr\u00E5ket inneh\u00E5ller) kan definieras med exempelvis explicita grammatiska regler f\u00F6r hur spr\u00E5kets symboler f\u00E5r kombineras (d\u00E4rmed har man en delm\u00E4ngd av \u03A3*), men dessa regler skall inte f\u00F6rv\u00E4xlas med det formella spr\u00E5ket sj\u00E4lvt som ju \u00E4r varken mer eller mindre \u00E4n en m\u00E4ngd ord. Om frasen F=\"\u00F6ver alfabetet {0,a,b,c} s\u00E5 \u00E4r ett ord en nolla och sedan a eller b eller c\" beskriver det formella spr\u00E5ket L = {\"0a\", \"0b\",\"0c\"} s\u00E5 \u00E4r L ett formellt spr\u00E5k och F en informell definition/beskrivning av L. \u00C4ven om det finns en koppling mellan dem s\u00E5 skall de s\u00E4rskiljas: F \u00E4r allts\u00E5 inte en del av det formella spr\u00E5ket. Ett formellt spr\u00E5k kan definieras p\u00E5 m\u00E5nga s\u00E4tt, exempel: \n* Informellt, beskrivet med ord. Exempel: \"alla str\u00E4ngar av l\u00E4ngd 4 enbart inneh\u00E5llandes symbolen a\". Det formella spr\u00E5ket inneh\u00E5ller d\u00E5 bara ordet \"aaaa\". \n* Definiera spr\u00E5kets ord direkt. Exempel: L = {apa,hund,1,0} \n* Med regulj\u00E4ra uttryck. Exempel: [a-z]|321. Detta implicerar L = {a,b,..,x,y,z,321} \n* Godtyckligt: som siffrorna i antalet munkar G\u00F6sta bakade \u00E5r 1733. Formella spr\u00E5k anv\u00E4nds inom logik och matematik, men framf\u00F6rallt i datorsammanhang. Programmeringsspr\u00E5k f\u00F6r datorer har implicit ett formellt spr\u00E5k eftersom ett programmeringsspr\u00E5ks syntax implicerar en (typiskt o\u00E4ndlig) m\u00E4ngd L av giltiga k\u00E4llkoder."@sv , "\u5F62\u5F0F\u8A00\u8A9E\uFF08\u3051\u3044\u3057\u304D\u3052\u3093\u3054\u3001\u82F1: formal language\uFF09\u306F\u3001\u305D\u306E\u6587\u6CD5\uFF08\u69CB\u6587\u3001\u7D71\u8A9E\u8AD6\uFF09\u304C\u3001\u5834\u5408\u306B\u3088\u3063\u3066\u306F\u610F\u5473\uFF08\u610F\u5473\u8AD6\uFF09\u3082\u3001\u5F62\u5F0F\u7684\u306B\u4E0E\u3048\u3089\u308C\u3066\u3044\u308B\uFF08\u5F62\u5F0F\u4F53\u7CFB\u3092\u53C2\u7167\uFF09\u8A00\u8A9E\u3067\u3042\u308B\u3002\u5F62\u5F0F\u7684\u3067\u306A\u3044\u305F\u3081\u306B\u3001\u3057\u3070\u3057\u3070\u66D6\u6627\u3055\u304C\u6B8B\u3055\u308C\u305F\u308A\u3001\u8A71\u8005\u96C6\u56E3\u306B\u3088\u3063\u3066\u7528\u6CD5\u306E\u3046\u3064\u308D\u3044\u3086\u304F\u3088\u3046\u306A\u81EA\u7136\u8A00\u8A9E\u306B\u5BFE\u3057\u3066\u3001\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u3092\u542B\u3080\u4E00\u90E8\u306E\u4EBA\u5DE5\u8A00\u8A9E\u3084\u3001\u3044\u308F\u3086\u308B\u6A5F\u68B0\u53EF\u8AAD\u306A\uFF08\u6A5F\u68B0\u53EF\u8AAD\u76EE\u9332\u3092\u53C2\u7167\uFF09\u30C9\u30AD\u30E5\u30E1\u30F3\u30C8\u985E\u306A\u3069\u306E\u5F62\u5F0F\u8A00\u8A9E\u306F\u3001\u7528\u6CD5\u306E\u5909\u5316\u306B\u95A2\u3057\u3066\u306F\u53B3\u683C\u3067\u3042\u308B\u3002\u3053\u306E\u8A18\u4E8B\u3067\u306F\u5F62\u5F0F\u7684\u306A\u7D71\u8A9E\u8AD6\u3059\u306A\u308F\u3061\u69CB\u6587\u306E\u5F62\u5F0F\u7684\u306A\u5B9A\u7FA9\u3068\u5F62\u5F0F\u6587\u6CD5\u306B\u3064\u3044\u3066\u8FF0\u3079\u308B\u3002\u5F62\u5F0F\u7684\u306A\u610F\u5473\u8AD6\u306B\u3064\u3044\u3066\u306F\u5F62\u5F0F\u610F\u5473\u8AD6\u306E\u8A18\u4E8B\u3092\u53C2\u7167\u3002"@ja , "En matem\u00E1ticas, l\u00F3gica y ciencias de la computaci\u00F3n, un lenguaje formal es un lenguaje cuyos s\u00EDmbolos son primitivos y las reglas para unir esos s\u00EDmbolos est\u00E1n formalmente especificadas.\u200B\u200B Al conjunto de los s\u00EDmbolos primitivos se le llama el alfabeto (o vocabulario) del lenguaje, y al conjunto de las reglas se le llama la gram\u00E1tica formal (o sintaxis). A una cadena de s\u00EDmbolos formada de acuerdo a la gram\u00E1tica se le llama una f\u00F3rmula bien formada (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es id\u00E9ntico al conjunto de todas sus f\u00F3rmulas bien formadas. Por ejemplo, un alfabeto podr\u00EDa ser el conjunto {a,b}, y una gram\u00E1tica podr\u00EDa definir a las f\u00F3rmulas bien formadas como aquellas que tienen el mismo n\u00FAmero de s\u00EDmbolos a que b. Entonces, algunas f\u00F3rmulas bien formadas del lenguaje ser\u00EDan: ab, ba, abab, ababba, etc., y el lenguaje formal ser\u00EDa el conjunto de todas esas f\u00F3rmulas bien formadas. Para algunos lenguajes formales existe una sem\u00E1ntica formal que puede interpretar y dar significado a las f\u00F3rmulas bien formadas del lenguaje. Sin embargo, una sem\u00E1ntica formal no es condici\u00F3n necesaria para definir un lenguaje formal, y eso es una diferencia esencial con los lenguajes naturales. En algunos lenguajes formales, la palabra vac\u00EDa (esto es, la cadena de s\u00EDmbolos de longitud cero) est\u00E1 permitida, not\u00E1ndose frecuentemente mediante , o ."@es , "Pada matematika, ilmu komputer dan linguistik, suatu bahasa formal terdiri dari kata-kata yang mana diambil dari dan berdasarkan seperangkat kaidah tertentu. Alfabet akan bahasa formal terdiri dari simbol, huruf atau token yang bergabung menjadi string akan bahasa. Tiap string yang digabungkan dari simbol-simbol akan alfabet disebut sebuah kata. Sebuah bahasa formal sering didefinisikan melalui seperti atau yang terdiri dari . Pada ilmu komputer, bahasa formal digunakan antara lain sebagai dasar untuk menggambarkan tata bahasa akan bahasa pemrograman dan versi formal akan himpunan bagian dari bahasa alami yang mana kata-kata akan bahasa mewakili konsep yang diasosiasikan dengan semantik atau makna tertentu."@in , "A matem\u00E0tiques, l\u00F2gica, i ci\u00E8ncies de la computaci\u00F3, un llenguatge formal \u00E9s un llenguatge on els s\u00EDmbols primitius i regles per a unir aquests s\u00EDmbols estan formalment especificats. Al conjunt dels s\u00EDmbols primitius se l'anomena l'alfabet (o vocabulari) del llenguatge, i al conjunt de les regles se l'anomena la gram\u00E0tica formal (o sintaxi). A una cadena de s\u00EDmbols formada d'acord amb la gram\u00E0tica se l'anomena una f\u00F3rmula ben formada (o paraula) del llenguatge. Estrictament parlant, un llenguatge formal \u00E9s id\u00E8ntic al conjunt de totes les seves f\u00F3rmules ben formades. Per exemple, un alfabet podria ser el conjunt {a, b}, i una gram\u00E0tica podria definir a les f\u00F3rmules ben formades com aquelles que tenen el mateix nombre de s\u00EDmbols a que b. Llavors, algunes f\u00F3rmules ben formades del llenguatge serien: ab, ba, abab, ababba, etc., I el llenguatge formal seria el conjunt de totes aquestes f\u00F3rmules ben formades. Per a alguns llenguatges formals hi ha una sem\u00E0ntica formal que pot interpretar i donar significat a les f\u00F3rmules ben formades del llenguatge. Tanmateix, una sem\u00E0ntica formal no \u00E9s condici\u00F3 necess\u00E0ria per definir un llenguatge formal, i aix\u00F2 \u00E9s una difer\u00E8ncia essencial amb els llenguatges naturals. En alguns llenguatges formals, la paraula buida (\u00E9s a dir, la cadena de s\u00EDmbols de longitud zero) est\u00E0 permesa, notant-se freq\u00FCentment mitjan\u00E7ant , o ."@ca , "Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu nat\u00FCrlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn. Eine formale Sprache besteht aus einer bestimmten Menge von Symbolketten (im Allgemeinen Zeichenketten) (\u201EW\u00F6rter\u201C der Sprache), die aus einem Zeichen-/Symbolvorrat (\u201EAlphabet\u201C, Grundsymbole) zusammengesetzt werden k\u00F6nnen. W\u00E4hrend die Logik die Begrifflichkeit \"Formale Sprache\" untersucht, finden formale Sprachen z. B. in der Mathematik, in der Linguistik und der theoretischen Informatik eine praktische Anwendung. Formale Sprachen eignen sich zur (logisch) pr\u00E4zisen Beschreibung des Umgangs mit Zeichenketten. So k\u00F6nnen zum Beispiel Datenformate oder ganze Programmiersprachen spezifiziert werden. Zusammen mit einer formalen Semantik erhalten die definierten Zeichenketten eine (logische) Bedeutung. Bei einer Programmiersprache kann damit einer Programmieranweisung (als Teil der formalen Sprache) ein eindeutiges Maschinenverhalten (als Teil der Semantik) zugeordnet werden. Aufbauend auf formalen Sprachen k\u00F6nnen aber auch Logikkalk\u00FCle definiert werden, mit denen mathematische Schl\u00FCsse gezogen werden k\u00F6nnen. In Verbindung mit formal definierten Programmiersprachen k\u00F6nnen Kalk\u00FCle helfen, Programme auf ihre Korrektheit zu \u00FCberpr\u00FCfen."@de . @prefix gold: . dbr:Formal_language gold:hypernym dbr:Set . @prefix prov: . dbr:Formal_language prov:wasDerivedFrom ; dbo:wikiPageLength "26393"^^xsd:nonNegativeInteger . @prefix wikipedia-en: . dbr:Formal_language foaf:isPrimaryTopicOf wikipedia-en:Formal_language .