Formal language (original) (raw)
في الرياضيات والمنطق والمعلوماتية، يطلق مصطلح اللغة الشكلية L على أي مجموعة من الجمل محدودة الطول المأخوذة من مجموعة نهائية A تسمى الحروف الأبجدية. فمن خلال مختلف تطبيقات اللغات الشكلية، يمكن أن ننظر إلى اللغة الشكلية على أنها مماثلة لمجموعة كلمات أو مجموعة جمل.
| Property | Value |
|---|---|
| dbo:abstract | Formální jazyk je v matematice, logice a informatice libovolná množina konečných řetězců (tj. řetězců konečné délky) nad určitou abecedou. Místo výrazu „řetězec“ se často používá výraz „slovo“ (zejména při lexikální analýze) nebo „věta“ (zejména při syntaktické analýze a analýze vět přirozeného jazyka). Přesná definice pojmu formální jazyk se může lišit podle toho, v jakém kontextu a v jakém vědním oboru jej používáme. Příkladem abecedy může být , řetězcem nad touto abecedou je například . Příkladem jazyka může být množina všech řetězců nad touto abecedou, které obsahují stejný počet symbolů jako . Přestože abeceda je konečná množina a řetězce mají konečnou délku, jazyk konečný být nemusí, jelikož délka (stále konečných) řetězců nemusí být shora omezena. (cs) A matemàtiques, lògica, i ciències de la computació, un llenguatge formal és un llenguatge on els símbols primitius i regles per a unir aquests símbols estan formalment especificats. Al conjunt dels símbols primitius se l'anomena l'alfabet (o vocabulari) del llenguatge, i al conjunt de les regles se l'anomena la gramàtica formal (o sintaxi). A una cadena de símbols formada d'acord amb la gramàtica se l'anomena una fórmula ben formada (o paraula) del llenguatge. Estrictament parlant, un llenguatge formal és idèntic al conjunt de totes les seves fórmules ben formades. Per exemple, un alfabet podria ser el conjunt {a, b}, i una gramàtica podria definir a les fórmules ben formades com aquelles que tenen el mateix nombre de símbols a que b. Llavors, algunes fórmules ben formades del llenguatge serien: ab, ba, abab, ababba, etc., I el llenguatge formal seria el conjunt de totes aquestes fórmules ben formades. Per a alguns llenguatges formals hi ha una semàntica formal que pot interpretar i donar significat a les fórmules ben formades del llenguatge. Tanmateix, una semàntica formal no és condició necessària per definir un llenguatge formal, i això és una diferència essencial amb els llenguatges naturals. En alguns llenguatges formals, la paraula buida (és a dir, la cadena de símbols de longitud zero) està permesa, notant-se freqüentment mitjançant , o . (ca) في الرياضيات والمنطق والمعلوماتية، يطلق مصطلح اللغة الشكلية L على أي مجموعة من الجمل محدودة الطول المأخوذة من مجموعة نهائية A تسمى الحروف الأبجدية. فمن خلال مختلف تطبيقات اللغات الشكلية، يمكن أن ننظر إلى اللغة الشكلية على أنها مماثلة لمجموعة كلمات أو مجموعة جمل. (ar) Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen 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) („Wörter“ der Sprache), die aus einem Zeichen-/Symbolvorrat („Alphabet“, Grundsymbole) zusammengesetzt werden können. Während 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äzisen Beschreibung des Umgangs mit Zeichenketten. So können 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önnen aber auch Logikkalküle definiert werden, mit denen mathematische Schlüsse gezogen werden können. In Verbindung mit formal definierten Programmiersprachen können Kalküle helfen, Programme auf ihre Korrektheit zu überprüfen. (de) Στα διακριτά μαθηματικά, στη μαθηματική λογική, στη θεωρητική πληροφορική και στη γλωσσολογία, μια τυπική γλώσσα (formal language) ή απλώς γλώσσα είναι η γλώσσα που ορίζεται από ακριβείς μαθηματικούς τύπους, ή τύπους που μπορεί να επεξεργαστεί μια μηχανή. Πιο αναλυτικά, μια γλώσσα ορίζεται ως ένα πιθανώς άπειρο σύνολο από πεπερασμένου μήκους σειρές από στοιχεία προερχόμενα από ένα καθορισμένο, πεπερασμένο σύνολο (αλφάβητο). Ο κλάδος που μελετά τις ιδιότητες των τυπικών γλωσσών λέγεται θεωρία τυπικών γλωσσών. Όπως και οι γλώσσες στη γλωσσολογία, οι τυπικές γλώσσες έχουν γενικά δυο πλευρές: * Το συντακτικό μιας γλώσσας έχει να κάνει με το πώς φαίνεται η γλώσσα, ή, πιο επίσημα, είναι το σύνολο όλων των πιθανών εκφράσεων που ανήκουν στη γλώσσα. * Η σημασιολογία (ή σημαντική) έχει να κάνει με την ερμηνεία των φράσεων της γλώσσας, και ορίζεται επίσημα με διάφορους τρόπους, ανάλογα με το είδος της εκάστοτε γλώσσας. (el) 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ŭgaj kaj ĝenerale akcepitaj rimedoj teoriaj kaj praktikaj. Krome, la idealo matematika estas redukti semantikon al sintaktso (rezoni laŭforme, konkludi pri vereco surbaze de sintaksa ĝusteco). Tio plene prosperis pri la ; tio maleblas pri formalaj sistemoj pli malsimplaj. Ĉi-sube formala lingvo estos traktata en la malvasta signifo sintakse formala lingvo. Ĝi precipe aktualas por , , . Ĝi estas studata en la . (eo) 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—that 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 matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas. Al conjunto de los símbolos primitivos se le llama el alfabeto (o vocabulario) del lenguaje, y al conjunto de las reglas se le llama la gramática formal (o sintaxis). A una cadena de símbolos formada de acuerdo a la gramática se le llama una fórmula bien formada (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien formadas. Por ejemplo, un alfabeto podría ser el conjunto {a,b}, y una gramática podría definir a las fórmulas bien formadas como aquellas que tienen el mismo número de símbolos a que b. Entonces, algunas fórmulas bien formadas del lenguaje serían: ab, ba, abab, ababba, etc., y el lenguaje formal sería el conjunto de todas esas fórmulas bien formadas. Para algunos lenguajes formales existe una semántica formal que puede interpretar y dar significado a las fórmulas bien formadas del lenguaje. Sin embargo, una semántica formal no es condición necesaria para definir un lenguaje formal, y eso es una diferencia esencial con los lenguajes naturales. En algunos lenguajes formales, la palabra vacía (esto es, la cadena de símbolos de longitud cero) está permitida, notándose frecuentemente mediante , o . (es) En mathématiques, 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èmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées. Un langage formel est souvent défini par une grammaire formelle, telle que les grammaires algébriques et analysé par des automates. (fr) 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) Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe costruite sopra un alfabeto, cioè sopra un insieme di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere. Sovente si suppone che l'alfabeto sul quale è costruito il linguaggio sia un insieme finito. (it) 수학, 컴퓨터 과학, 언어학에서 형식 언어(形式言語, formal language)란, 특정한 법칙들에 따라 적절하게 구성된 문자열들의 집합을 말한다. 이는 수학기초론, 언어학, 정보 이론의 핵심적 개념이며, 계산가능성 이론과 밀접하게 관련되어 있다. (ko) De term formele taal heeft ten minste drie verwante betekenissen: 1. * vormelijk taalgebruik; 2. * taal waarvan de vorm en meestal betekenis exact vastliggen, meestal door middel van wiskundige definities; 3. * een verzameling tekenreeksen. (nl) 形式言語（けいしきげんご、英: formal language）は、その文法（構文、統語論）が、場合によっては意味（意味論）も、形式的に与えられている（形式体系を参照）言語である。形式的でないために、しばしば曖昧さが残されたり、話者集団によって用法のうつろいゆくような自然言語に対して、プログラミング言語を含む一部の人工言語や、いわゆる機械可読な（機械可読目録を参照）ドキュメント類などの形式言語は、用法の変化に関しては厳格である。この記事では形式的な統語論すなわち構文の形式的な定義と形式文法について述べる。形式的な意味論については形式意味論の記事を参照。 (ja) Форма́льный язы́к в математической логике, информатике и лингвистике — множество конечных слов (строк, цепочек) над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов. Научная теория, которая имеет дело с этим объектом, называется . В теории моделей язык строится из множеств символов, функций и отношений вместе с их арностью, а также множества переменных. Каждое из этих множеств может быть бесконечным. Из языка вместе с универсальными логическими символами составляются логические высказывания. (ru) Język formalny – podzbiór zbioru wszystkich słów nad skończonym alfabetem. 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. (pl) Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos . A importância dessa teoria na ciência da computação é dupla: ela tanto apoia outros aspectos teóricos da ciência da computação (decidibilidade, computabilidade, complexidade computacional, por exemplo), como fundamenta diversas aplicações computacionais tais como processamento de linguagens, reconhecimento de padrões, modelagem de sistemas. Para definir o que é a teoria das linguagens formais é preciso definir o que é linguagem e o que é linguagem formal. Inicialmente, de maneira bastante informal, podemos definir uma linguagem como sendo uma forma de comunicação. Elaborando um pouco mais esta definição, podemos definir uma linguagem como sendo "um conjunto de elementos (símbolos) e um conjunto de métodos (regras) para combinar estes elementos, usado e entendido por uma determinada comunidade". São exemplos as "linguagens naturais" (ou idiomas), "linguagens de programação" e os "protocolos de comunicação". Assim, podemos dizer que "linguagens formais" são mecanismos formais para representação e especificação de linguagens, baseados na chamada "teoria da computação". As representações podem ser feitas por reconhecedores e geradores.Os reconhecedores são dispositivos formais que servem para verificar se uma frase pertence ou não à determinada linguagem. São os autômatos: autômatos finitos, autômatos de pilha e máquina de Turing. Os sistemas geradores são dispositivos formais que permitem a geração sistemática de todas as frases de uma linguagem. Os principais sistemas geradores disponíveis são as gramáticas, onde se destacam as gramáticas de Chomsky. Então, linguagens formais podem ser representadas de maneira finita e precisa através de sistemas com sustentação matemática. (pt) Форма́льна мо́ва — множина скінчених послідовностей символів, які описуються правилами певного виду, які називаються граматикою, або синтаксисом мови (див. формальна граматика). В тому випадку, коли кожному слову формальної мови співставляється його семантика (сенс, значення, інтерпретація), формальну мову називають інтерпретованою. Формальні мови можна класифікувати за характером формального апарату, що застосовується для їхнього описання: * , * , * , * , і так далі, або за застосуванням: * Алгоритмічна мова, * Інформаційна мова, * , * Математичні моделі мови. Більшість формальних мов, створюваних для практичних цілей, є інтерпретованими мовами. Важливий клас інтерпретованих мов становлять мови програмування, а також алгоритмічні мови. (uk) Ett formellt språk är en mängd ord över ett alfabet Σ. Ett alfabet består av en mängd symboler, t.ex. Σ = {1,2,3,4,5,6,7,8,9,0} och ett ord består av en sträng av alfabetets symboler, här exempelvis "0124311". Ett formellt språk är alltså en mängd av sådana strängar (ord) som i sin tur endast innehåller symboler ur det formella språkets alfabet. Ett formellt språk är en delmängd av Σ*, där Σ* är alla möjliga kombinationer av strängar över alfabetet Σ. Ett formellt språk (dvs vilka ord språket innehåller) kan definieras med exempelvis explicita grammatiska regler för hur språkets symboler får kombineras (därmed har man en delmängd av Σ*), men dessa regler skall inte förväxlas med det formella språket självt som ju är varken mer eller mindre än en mängd ord. Om frasen F="över alfabetet {0,a,b,c} så är ett ord en nolla och sedan a eller b eller c" beskriver det formella språket L = {"0a", "0b","0c"} så är L ett formellt språk och F en informell definition/beskrivning av L. Även om det finns en koppling mellan dem så skall de särskiljas: F är alltså inte en del av det formella språket. Ett formellt språk kan definieras på många sätt, exempel: * Informellt, beskrivet med ord. Exempel: "alla strängar av längd 4 enbart innehållandes symbolen a". Det formella språket innehåller då bara ordet "aaaa". * Definiera språkets ord direkt. Exempel: L = {apa,hund,1,0} * Med reguljära uttryck. Exempel: [a-z]|321. Detta implicerar L = {a,b,..,x,y,z,321} * Godtyckligt: som siffrorna i antalet munkar Gösta bakade år 1733. Formella språk används inom logik och matematik, men framförallt i datorsammanhang. Programmeringsspråk för datorer har implicit ett formellt språk eftersom ett programmeringsspråks syntax implicerar en (typiskt oändlig) mängd L av giltiga källkoder. (sv) 在数学、逻辑和计算机科学中，形式语言（英語：Formal language）是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面：语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。 (zh) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Syntax_tree.svg?width=300 |
| dbo:wikiPageExternalLink | http://www.cs.nuim.ie/~jpower/Courses/parsing/ https://www.cs.cmu.edu/~lkontor/noam/Mateescu-Salomaa.pdf http://www.csee.umbc.edu/help/theory/lang_def.shtml http://www.liafa.jussieu.fr/~cc/PUBLICATIONS/CKTUCS.PS.gz http://www.liafa.jussieu.fr/~jep/PDF/HandBook.pdf http://users.utu.fi/harju/articles/morph.pdf https://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.67.1248&rep=rep1&type=pdf https://web.archive.org/web/20071008170115/http:/bruno.maitresdumonde.com/optinfo/Spe-MP/dmds1998/2dlang/giammaresi-restivo-paper.ps https://web.archive.org/web/20071121142736/http:/www.cs.nuim.ie/~jpower/Courses/parsing/ http://citeseer.ist.psu.edu/248295.html http://www-igm.univ-mlv.fr/~mac/REC/DOC/B4.ps |
| dbo:wikiPageID | 10939 (xsd:integer) |
| dbo:wikiPageLength | 26393 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1124503741 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge_University_Press dbr:Carl_Friedrich_Gauss dbr:Begriffsschrift dbr:Model_theory dbr:Parsing dbr:Algorithm dbc:Combinatorics_on_words dbr:Regular_expression dbr:Regular_expressions dbr:Character_encoding dbr:Characteristica_universalis dbr:Unicode dbr:University_of_Maryland,_Baltimore dbr:Decision_problem dbr:Degeneracy_(mathematics) dbr:∅ dbr:Deterministic_context-free_language dbr:Indexed_language dbr:Interpretation_(logic) dbr:Introduction_to_Automata_Theory,_Languages,_and_Computation dbr:Complement_(set_theory) dbr:Computability_theory_(computer_science) dbr:Concatenation dbr:Context-free_grammar dbr:Countable_set dbr:Mathematical_logic dbr:Mathematics dbr:Gauss_notation dbr:Gottlob_Frege dbr:Cone_(formal_languages) dbr:Context-free_language dbr:Logic dbr:Closure_(mathematics) dbr:Combinatorics_on_words dbr:Complexity_class dbr:Computational_complexity_theory dbr:Computer_science dbr:Identifier dbr:Keyword_(computer_programming) dbr:Proposition dbr:String_(computer_science) dbr:Structure_(mathematical_logic) dbr:Symbol_(formal) dbr:Mathematical_notation dbr:Michael_A._Harrison dbr:String_operations dbr:Axel_Thue dbr:Truth_value dbr:Linguistics dbr:Grammar_framework dbr:Post_canonical_system dbr:Recursively_enumerable_language dbr:ASCII dbr:Alphabet dbr:Alphanumeric dbr:Alphabet_(formal_languages) dbr:FORTRAN dbr:First-order_logic dbr:Formal_semantics_(logic) dbr:Formalism_(philosophy_of_mathematics) dbr:Noam_Chomsky dbr:Formal_grammar dbr:Formation_rule dbr:Foundations_of_mathematics dbr:Machine_code dbr:Well-formed_formula dbr:Proof_theory dbr:Regular_language dbr:Gottfried_Leibniz dbr:Grzegorz_Rozenberg dbr:Intersection_(set_theory) dbr:Arto_Salomaa dbc:Theoretical_computer_science dbr:Abstract_family_of_languages dbr:Abstract_syntax_tree dbc:Formal_languages dbr:Chomsky_hierarchy dbr:John_Backus dbr:Syntax dbr:Well-formedness dbr:Recursive_language dbr:Associative_array dbr:Automata_theory dbr:Axiom dbr:Axiomatic_system dbr:Pictographs dbr:Springer_Science+Business_Media dbr:Free_monoid dbr:Natural_number dbr:Set_(mathematics) dbr:Seymour_Ginsburg dbr:Kleene_star dbr:Turing_machine dbr:Virtual_machine dbr:Rule_of_inference dbr:Semantics dbr:Sentence_(mathematical_logic) dbr:Undecidable_problem dbr:Union_(set_theory) dbr:Natural_language dbr:Programming_language dbr:Regular_grammar dbr:Executable dbr:Finite-state_machine dbr:Parser dbr:Subset dbr:Transformation_rule dbr:Parser_generator dbr:Emil_Post dbr:Lex_programming_tool dbr:Lexical_analyzer dbr:Formal_method dbr:Context_free_language dbr:Context_sensitive_language dbr:Springer_Verlag dbr:Deductive_apparatus dbr:Intermediate_code dbr:String_homomorphism dbr:File:Syntax_tree.svg dbr:File:Formal_languages.svg |
| dbp:date | 2007-11-21 (xsd:date) |
| dbp:id | p/f040830 (en) |
| dbp:title | Formal language (en) |
| dbp:url | https://web.archive.org/web/20071121142736/http:/www.cs.nuim.ie/~jpower/Courses/parsing/ |
| dbp:wikiPageUsesTemplate | dbt:Springer dbt:About dbt:Authority_control dbt:Cite_book dbt:Commonscat dbt:Expand_section dbt:ISBN dbt:Main dbt:Mvar dbt:No dbt:NoteFoot dbt:NoteTag dbt:Refbegin dbt:Refend dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:Webarchive dbt:Yes dbt:Mathematical_logic dbt:Formal_languages_and_grammars |
| dct:subject | dbc:Combinatorics_on_words dbc:Theoretical_computer_science dbc:Formal_languages |
| gold:hypernym | dbr:Set |
| rdf:type | owl:Thing yago:WikicatTheories yago:Abstraction100002137 yago:Cognition100023271 yago:Communication100033020 yago:Explanation105793000 yago:HigherCognitiveProcess105770664 yago:Language106282651 yago:Process105701363 yago:PsychologicalFeature100023100 yago:Theory105989479 yago:Thinking105770926 yago:WikicatFormalLanguages |
| rdfs:comment | في الرياضيات والمنطق والمعلوماتية، يطلق مصطلح اللغة الشكلية L على أي مجموعة من الجمل محدودة الطول المأخوذة من مجموعة نهائية A تسمى الحروف الأبجدية. فمن خلال مختلف تطبيقات اللغات الشكلية، يمكن أن ننظر إلى اللغة الشكلية على أنها مماثلة لمجموعة كلمات أو مجموعة جمل. (ar) Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe costruite sopra un alfabeto, cioè sopra un insieme di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere. Sovente si suppone che l'alfabeto sul quale è costruito il linguaggio sia un insieme finito. (it) 수학, 컴퓨터 과학, 언어학에서 형식 언어(形式言語, formal language)란, 특정한 법칙들에 따라 적절하게 구성된 문자열들의 집합을 말한다. 이는 수학기초론, 언어학, 정보 이론의 핵심적 개념이며, 계산가능성 이론과 밀접하게 관련되어 있다. (ko) De term formele taal heeft ten minste drie verwante betekenissen: 1. * vormelijk taalgebruik; 2. * taal waarvan de vorm en meestal betekenis exact vastliggen, meestal door middel van wiskundige definities; 3. * een verzameling tekenreeksen. (nl) 形式言語（けいしきげんご、英: formal language）は、その文法（構文、統語論）が、場合によっては意味（意味論）も、形式的に与えられている（形式体系を参照）言語である。形式的でないために、しばしば曖昧さが残されたり、話者集団によって用法のうつろいゆくような自然言語に対して、プログラミング言語を含む一部の人工言語や、いわゆる機械可読な（機械可読目録を参照）ドキュメント類などの形式言語は、用法の変化に関しては厳格である。この記事では形式的な統語論すなわち構文の形式的な定義と形式文法について述べる。形式的な意味論については形式意味論の記事を参照。 (ja) Форма́льный язы́к в математической логике, информатике и лингвистике — множество конечных слов (строк, цепочек) над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов. Научная теория, которая имеет дело с этим объектом, называется . В теории моделей язык строится из множеств символов, функций и отношений вместе с их арностью, а также множества переменных. Каждое из этих множеств может быть бесконечным. Из языка вместе с универсальными логическими символами составляются логические высказывания. (ru) Język formalny – podzbiór zbioru wszystkich słów nad skończonym alfabetem. 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. (pl) 在数学、逻辑和计算机科学中，形式语言（英語：Formal language）是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面：语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。 (zh) A matemàtiques, lògica, i ciències de la computació, un llenguatge formal és un llenguatge on els símbols primitius i regles per a unir aquests símbols estan formalment especificats. Al conjunt dels símbols primitius se l'anomena l'alfabet (o vocabulari) del llenguatge, i al conjunt de les regles se l'anomena la gramàtica formal (o sintaxi). A una cadena de símbols formada d'acord amb la gramàtica se l'anomena una fórmula ben formada (o paraula) del llenguatge. Estrictament parlant, un llenguatge formal és idèntic al conjunt de totes les seves fórmules ben formades. (ca) Formální jazyk je v matematice, logice a informatice libovolná množina konečných řetězců (tj. řetězců konečné délky) nad určitou abecedou. Místo výrazu „řetězec“ se často používá výraz „slovo“ (zejména při lexikální analýze) nebo „věta“ (zejména při syntaktické analýze a analýze vět přirozeného jazyka). Přesná definice pojmu formální jazyk se může lišit podle toho, v jakém kontextu a v jakém vědním oboru jej používáme. Přestože abeceda je konečná množina a řetězce mají konečnou délku, jazyk konečný být nemusí, jelikož délka (stále konečných) řetězců nemusí být shora omezena. (cs) Στα διακριτά μαθηματικά, στη μαθηματική λογική, στη θεωρητική πληροφορική και στη γλωσσολογία, μια τυπική γλώσσα (formal language) ή απλώς γλώσσα είναι η γλώσσα που ορίζεται από ακριβείς μαθηματικούς τύπους, ή τύπους που μπορεί να επεξεργαστεί μια μηχανή. Πιο αναλυτικά, μια γλώσσα ορίζεται ως ένα πιθανώς άπειρο σύνολο από πεπερασμένου μήκους σειρές από στοιχεία προερχόμενα από ένα καθορισμένο, πεπερασμένο σύνολο (αλφάβητο). Ο κλάδος που μελετά τις ιδιότητες των τυπικών γλωσσών λέγεται θεωρία τυπικών γλωσσών. Όπως και οι γλώσσες στη γλωσσολογία, οι τυπικές γλώσσες έχουν γενικά δυο πλευρές: (el) 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. Ĉi-sube formala lingvo estos traktata en la malvasta signifo sintakse formala lingvo. Ĝi precipe aktualas por , , . Ĝi estas studata en la . (eo) 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) Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen 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) („Wörter“ der Sprache), die aus einem Zeichen-/Symbolvorrat („Alphabet“, Grundsymbole) zusammengesetzt werden können. Während 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) En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas. Al conjunto de los símbolos primitivos se le llama el alfabeto (o vocabulario) del lenguaje, y al conjunto de las reglas se le llama la gramática formal (o sintaxis). A una cadena de símbolos formada de acuerdo a la gramática se le llama una fórmula bien formada (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien formadas. (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 . (in) En mathématiques, 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èmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. (fr) Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos . A importância dessa teoria na ciência da computação é dupla: ela tanto apoia outros aspectos teóricos da ciência da computação (decidibilidade, computabilidade, complexidade computacional, por exemplo), como fundamenta diversas aplicações computacionais tais como processamento de linguagens, reconhecimento de padrões, modelagem de sistemas. (pt) Форма́льна мо́ва — множина скінчених послідовностей символів, які описуються правилами певного виду, які називаються граматикою, або синтаксисом мови (див. формальна граматика). В тому випадку, коли кожному слову формальної мови співставляється його семантика (сенс, значення, інтерпретація), формальну мову називають інтерпретованою. Формальні мови можна класифікувати за характером формального апарату, що застосовується для їхнього описання: * , * , * , * , і так далі, або за застосуванням: * Алгоритмічна мова, * Інформаційна мова, * , * Математичні моделі мови. (uk) Ett formellt språk är en mängd ord över ett alfabet Σ. Ett alfabet består av en mängd symboler, t.ex. Σ = {1,2,3,4,5,6,7,8,9,0} och ett ord består av en sträng av alfabetets symboler, här exempelvis "0124311". Ett formellt språk är alltså en mängd av sådana strängar (ord) som i sin tur endast innehåller symboler ur det formella språkets alfabet. Ett formellt språk är en delmängd av Σ*, där Σ* är alla möjliga kombinationer av strängar över alfabetet Σ. Ett formellt språk kan definieras på många sätt, exempel: (sv) |
| rdfs:label | لغة شكلية (ar) Llenguatge formal (ca) Formální jazyk (cs) Formal language (en) Formale Sprache (de) Τυπική γλώσσα (el) Formala lingvo (eo) Lenguaje formal (es) Langage formel (fr) Bahasa formal (in) Linguaggio formale (it) 形式言語 (ja) 형식 언어 (ko) Język formalny (pl) Formele taal (nl) Linguagem formal (pt) Формальный язык (ru) Formellt språk (sv) Формальна мова (uk) 形式语言 (zh) |
| owl:sameAs | freebase:Formal language yago-res:Formal language http://d-nb.info/gnd/4017848-1 wikidata:Formal language dbpedia-ar:Formal language dbpedia-az:Formal language dbpedia-bg:Formal language http://bs.dbpedia.org/resource/Formalni_jezik dbpedia-ca:Formal language http://ckb.dbpedia.org/resource/زمانی_شێوەیی dbpedia-cs:Formal language dbpedia-da:Formal language dbpedia-de:Formal language dbpedia-el:Formal language dbpedia-eo:Formal language dbpedia-es:Formal language dbpedia-fa:Formal language dbpedia-fi:Formal language dbpedia-fr:Formal language dbpedia-he:Formal language http://hi.dbpedia.org/resource/औपचारिक_भाषा dbpedia-hr:Formal language http://ht.dbpedia.org/resource/Langaj_fòmèl dbpedia-hu:Formal language dbpedia-id:Formal language dbpedia-it:Formal language dbpedia-ja:Formal language dbpedia-ko:Formal language dbpedia-lmo:Formal language http://lt.dbpedia.org/resource/Formali_kalba dbpedia-mk:Formal language dbpedia-nl:Formal language dbpedia-no:Formal language dbpedia-pl:Formal language dbpedia-pt:Formal language dbpedia-ro:Formal language dbpedia-ru:Formal language dbpedia-sh:Formal language dbpedia-simple:Formal language dbpedia-sk:Formal language dbpedia-sr:Formal language dbpedia-sv:Formal language dbpedia-th:Formal language dbpedia-tr:Formal language dbpedia-uk:Formal language http://uz.dbpedia.org/resource/Rasmiy_til dbpedia-vi:Formal language dbpedia-zh:Formal language https://global.dbpedia.org/id/qBYk |
| prov:wasDerivedFrom | wikipedia-en:Formal_language?oldid=1124503741&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Syntax_tree.svg wiki-commons:Special:FilePath/Formal_languages.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Formal_language |
| is dbo:academicDiscipline of | dbr:Descriptional_Complexity_of_Formal_Systems dbr:International_Conference_on_Developments_in_Language_Theory dbr:Conference_on_Implementation_and_Application_of_Automata dbr:Alfred_Tarski dbr:Henryk_Hiż dbr:Sheila_Greibach |
| is dbo:wikiPageDisambiguates of | dbr:Formal dbr:Language_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Operations_on_languages dbr:Empty_language dbr:Applications_of_formal_language_theory dbr:Symbolic_system dbr:Formal_language_theory dbr:Formal_languages dbr:Word_(formal_language_theory) dbr:Operations_on_formal_languages dbr:Set_operations_on_formal_languages dbr:Complement_of_a_language dbr:Concatenation_of_languages dbr:Word_(formal_languages) dbr:Language_(computability) dbr:Language_(computer_science) dbr:Language_(logic) dbr:Language_(mathematical_logic) dbr:Language_(mathematics) dbr:Symbolic_meaning dbr:Formal_expression dbr:Formal_model |
| is dbo:wikiPageWikiLink of | dbr:Powerset_construction dbr:Propositional_calculus dbr:Quantifier_elimination dbr:Scientism dbr:Elementary_mathematics dbr:Enterprise_Privacy_Authorization_Language dbr:Entscheidungsproblem dbr:List_of_University_of_Michigan_alumni dbr:List_of_computer_science_conferences dbr:List_of_computer_scientists dbr:List_of_educational_software dbr:List_of_formal_language_and_literal_string_topics dbr:Memoization dbr:Mizar_system dbr:Model_theory dbr:Montague_grammar dbr:Myhill–Nerode_theorem dbr:NP_(complexity) dbr:Nondeterministic_finite_automaton dbr:Scientific_modelling dbr:Lévy_hierarchy dbr:Metalogic dbr:Metatheory dbr:Probabilistic_automaton dbr:Profinite_word dbr:Brenda_Baker dbr:Decider_(Turing_machine) dbr:Deductive_reasoning dbr:Deterministic_finite_automaton dbr:Andrea_LaPaugh dbr:Antimatroid dbr:Arden's_rule dbr:Argument dbr:Homomorphism dbr:John_Myhill dbr:List_of_Indian_inventions_and_discoveries dbr:List_of_important_publications_in_theoretical_computer_science dbr:List_of_pioneers_in_computer_science dbr:Patricia_Bouyer-Decitre dbr:Regular_expression dbr:Rigour dbr:Cyclic_language dbr:Validity_(logic) dbr:De_Morgan's_laws dbr:Decision_problem dbr:Definable_real_number dbr:Definite_clause_grammar dbr:Dependency_graph dbr:Derick_Wood dbr:Descriptional_Complexity_of_Formal_Systems dbr:Descriptive_Complexity dbr:Donkey_sentence dbr:Index_of_cognitive_science_articles dbr:Index_of_computing_articles dbr:Index_of_linguistics_articles dbr:Index_of_philosophy_articles_(D–H) dbr:Indexed_language dbr:Inductivism dbr:Informal_logic dbr:Informatics dbr:Information_and_Computation dbr:Information_system dbr:Integer-valued_function dbr:Interactive_proof_system dbr:International_Conference_on_Developments_in_Language_Theory dbr:International_Conference_on_Reachability_Problems dbr:Internet_linguistics dbr:Interpretation_(logic) dbr:Introduction_to_Automata_Theory,_Languages,_and_Computation dbr:L/poly dbr:Levenshtein_automaton dbr:Lila_Kari dbr:List_of_important_publications_in_mathematics dbr:List_of_language_regulators dbr:List_of_lemmas dbr:List_of_mathematical_logic_topics dbr:List_of_mathematical_uses_of_Latin_letters dbr:List_of_people_from_Negros_Occidental dbr:Ontology_engineering dbr:OBO_Foundry dbr:Numbering_(computability_theory) dbr:Presentation_semantics dbr:Proof_of_knowledge dbr:Prouhet–Thue–Morse_constant dbr:Rayo's_number dbr:Truth_predicate dbr:Propositional_representation dbr:Timeline_of_Indian_innovation dbr:Weighted_automaton dbr:Compiler dbr:Computability dbr:Computability_theory dbr:Computable_function dbr:Concatenation dbr:Constructible_universe dbr:Context-free_grammar dbr:Analytic_Combinatorics dbr:Mathematical_logic dbr:S.-Y._Kuroda dbr:Generalized_nondeterministic_finite_automaton dbr:Low-complexity_art dbr:Numbering_scheme dbr:Ogden's_lemma dbr:Omega_language dbr:Operator-precedence_grammar dbr:Subject-oriented_business_process_management dbr:Pictogram dbr:Pumping_lemma_for_regular_languages dbr:Quantum_finite_automaton dbr:Quotient_automaton dbr:Quotient_of_a_formal_language dbr:Timed_word dbr:Timeline_of_mathematics dbr:Operations_on_languages dbr:Edward_H._Sussenguth dbr:Empty_language dbr:Empty_string dbr:Engineer dbr:Free_variables_and_bound_variables dbr:Gellish dbr:George_Cardona dbr:Glossary_of_artificial_intelligence dbr:Glossary_of_computer_science dbr:Glushkov's_construction_algorithm dbr:Graph_labeling dbr:Conceptual_model dbr:Cone_(formal_languages) dbr:Conference_on_Implementation_and_Application_of_Automata dbr:Conjunction_elimination dbr:Conjunctive_grammar dbr:Consensus_sequence dbr:Context-free_language dbr:Context-sensitive_grammar dbr:Contextual_Query_Language dbr:Controlled_natural_language dbr:Cross-serial_dependencies dbr:Theorem dbr:Theory dbr:Thompson's_construction dbr:Epsilon_calculus dbr:Equivalence_(formal_languages) dbr:Mildly_context-sensitive_grammar_formalism dbr:Operational_semantics dbr:Applications_of_formal_language_theory dbr:Arithmetical_set dbr:Basis_(universal_algebra) dbr:Berman–Hartmanis_conjecture dbr:Berry_paradox dbr:Lexicographic_order dbr:Logic dbr:Logical_positivism dbr:Simon_Saunders dbr:Simula dbr:Suffix_automaton dbr:ClearTalk dbr:Closure_(mathematics) dbr:Combinatorics dbr:Combinatorics_on_words dbr:Common_Logic dbr:Communicating_sequential_processes dbr:Completeness_(logic) dbr:Complexity_class dbr:Complexity_function dbr:Computable_set dbr:Computably_enumerable_set dbr:Computational_complexity_theory dbr:Computational_semiotics dbr:Computer_language dbr:Computer_program dbr:Computer_science dbr:Denotation dbr:Functional_predicate dbr:Journal_of_Automata,_Languages_and_Combinatorics dbr:PR_(complexity) dbr:P_(complexity) dbr:Parsing_expression_grammar dbr:Pattern_language_(formal_languages) dbr:Programming_language_theory dbr:Sparse_language dbr:Specification_language dbr:Standardization dbr:String_(computer_science) dbr:Substitution_(logic) dbr:Successor_function dbr:Symbol_(formal) dbr:Symbolic_language_(mathematics) dbr:Symbolic_system dbr:Syntax_(logic) dbr:Theoretical_computer_science dbr:Theory_of_computation dbr:Many-one_reduction dbr:Meaning_and_Necessity dbr:P/poly dbr:String_operations dbr:Axiom_of_limitation_of_size dbr:Baby_Modula-3 dbr:Backus–Naur_form dbr:Action_algebra dbr:Actual_infinity dbr:Time_complexity dbr:Tree_(automata_theory) dbr:Tree_stack_automaton dbr:Tree_transducer dbr:Truth dbr:Tuple dbr:UP_Diliman_Department_of_Computer_Science dbr:Data_exchange dbr:Data_integration dbr:Database_schema dbr:We're_Not_from_Here dbr:Well-quasi-ordering dbr:Garden_of_Eden_(cellular_automaton) dbr:Gödel_numbering dbr:Günter_Hotz dbr:Junction_Grammar dbr:LanguageWare dbr:Language_identification_in_the_limit dbr:Languages_of_Art dbr:Langue_and_parole dbr:Leaf_language dbr:Linguistic_insecurity dbr:Local_language_(formal_language) dbr:Logical_form dbr:Logical_graph dbr:Polynomial-time_reduction dbr:Mireille_Bousquet-Mélou dbr:Shortlex_order dbr:Promise_problem dbr:Resource_bounded_measure dbr:Post_canonical_system dbr:Recursively_enumerable_language dbr:Abstract_structure dbr:Adaptive_grammar dbr:Alfred_Tarski dbr:Algorithm_characterizations dbr:Data_definition_language dbr:Edmund_Husserl dbr:Alternating_Turing_machine dbr:Alternation_(formal_language_theory) dbr:Extended_Backus–Naur_form dbr:Fibonacci_word dbr:Finite-state_transducer dbr:First-order_logic dbr:Formal_language_theory dbr:Formal_languages dbr:Formula dbr:Anil_Nerode dbr:Barwise_compactness_theorem dbr:British_Colloquium_for_Theoretical_Computer_Science dbr:Binary_alphabet dbr:Diagram dbr:Diagrammatic_reasoning dbr:Dieter_Fensel dbr:Discourse_representation_theory dbr:Discrete_mathematics dbr:Formal_grammar dbr:Formal_linguistics dbr:Formal_methods dbr:Formal_ontology dbr:Formal_proof dbr:Formal_science dbr:Formal_semantics_(natural_language) dbr:Formal_system dbr:Formation_rule dbr:Frame_problem dbr:Grammar_systems_theory dbr:Graph_property dbr:Graph_rewriting dbr:Hilbert's_program dbr:Leftist_grammar dbr:Logical_connective dbr:Logical_consequence dbr:Logical_constant dbr:Well-formed_formula dbr:Mathematical_proof dbr:Pumping_lemma dbr:QIP_(complexity) dbr:Quantifier_(logic) dbr:Recognizable_set dbr:Regular_language dbr:Regular_tree_grammar dbr:Reversal dbr:Syntactic_predicate dbr:Hardware_description_language dbr:Harry_R._Lewis dbr:Henryk_Hiż dbr:Attempto_Controlled_English dbr:Iota_and_Jot dbr:Counter_automaton dbr:Technical_translation dbr:Trace_theory dbr:Stanford_Research_Institute_Problem_Solver dbr:Aristotle's_biology dbr:Arto_Salomaa dbr:AC0 dbr:AC_(complexity) dbr:Abstract_family_of_languages dbr:Abstract_semantic_graph dbr:Abstract_syntax_tree dbr:Ackermann_set_theory |
| is dbp:fields of | dbr:Alfred_Tarski dbr:Henryk_Hiż |
| is dbp:paradigms of | dbr:Iota_and_Jot |
| is foaf:primaryTopic of | wikipedia-en:Formal_language |
