| Arabic |
| has gloss | ara: في الرياضيات والمنطق والمعلوماتية، يطلق مصطلح اللغة الشكلية L على أي مجموعة من الجمل محدودة الطول المأخوذة من مجموعة نهائية A تسمى الحروف الأبجدية. فمن خلال مختلف تطبيقات اللغات الشكلية، يمكن أن ننظر إلى اللغة الشكلية على أنها مماثلة لمجموعة كلمات أو مجموعة جمل. |
| lexicalization | ara: لغات شكلية |
| lexicalization | ara: لغة شكلية |
| Bosnian |
| has gloss | bos: U matematici, logici i računarstvu, formalni jezik \boldsymbolL} se sastoji od skupa konačnih nizova elemenata konačnog skupa \boldsymbolA} znakova (simbola). Matematički, to je neuređen par \boldsymbolL}=\\boldsymbolA},\boldsymbolF}\}. Među najuobičajenijim primjenama, formalni jezik može biti shvaćen kao: |
| lexicalization | bos: Formalni jezici |
| lexicalization | bos: formalni jezik |
| Bulgarian |
| has gloss | bul: За други значения виж пояснителната страница формален език. Формален език в математиката, логиката и компютърните науки, е това множество от думи с крайна дължина (тоест буквени низове), извлечено от дадена крайна азбука. Научната теория, за която формалните езици са обект на изучаване, се нарича теория на формалните езици. Азбука може да бъде c,d} и низ към/за тази азбука може да бъде cddddc. Типичен език на тази азбука, съдържащ низа cddddc, ще бъде множеството от всички низове, които съдържат същият брой c и d символи. Празната дума (низ с нулева дължина) е разрешен и често означаван като e, ε или Λ. Докато азбуката е крайно множество и всеки низ има крайна дължина, то езикът може съвсем спокойно да се състои от безкрайно много низове. Някои примери за формални езици: * множество на всички думи от a,b}; * множество an : n е естествено число по-голямо от единица} (където an означава a повторено n пъти); * множество от синтактично правилни програми за даден програмен език. |
| lexicalization | bul: Формален език |
| lexicalization | bul: Формални езици |
| Catalan |
| has gloss | cat: A matemàtiques, lògica, i ciències de la computació, un llenguatge formal és un llenguatge els símbols primitius i regles per a unir aquests símbols estan formalment especificats. Al conjunt dels símbols primitius se lanomena el alfabet (o vocabulari) del llenguatge, i al conjunt de les regles se lanomena la gramàtica formal (o sintaxi). A una cadena de símbols formada dacord amb la gramàtica se lanomena 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. A diferència del que passa amb l'alfabet (que ha de ser un conjunt finit) i amb cada fórmula ben formada (que ha de tenir una longitud també finita), un llenguatge formal pot estar compost per un nombre infinit de fórmules ben formades. |
| lexicalization | cat: llenguatge formal |
| lexicalization | cat: Llenguatges formals |
| Czech |
| has gloss | ces: Formální jazyk v matematice, logice a informatice označuje množinu konečných slov (tj. slov konečné délky) nad určitou abecedou. Místo výrazu "slovo" se někdy užívá výraz "řetězec". Definice pojmu formální jazyk se může měnit podle toho, v jakém kontextu a v jakém vědním oboru jej používáme. |
| lexicalization | ces: Formální jazyky |
| lexicalization | ces: Formální jazyk |
| Central Kurdish |
| has gloss | ckb: لە بیرکاری و زانستی کۆمپیوتەردا، زمانی شێوەیی (Formal language) کۆمەڵێک وشەیە؛ وشە واتە زنجیرەیەک لە پیتەکان یان نیشانەکان. بەو کۆمەڵە کە پیتەکانی لێ وەردەگیردرێت دەوترێت ئەلفوبێی زمانەکە. زۆرتر، زمانێکی شێوەیی بەھۆی ڕێزمانێکی شێوەیی‌یەوە پێناسەدەکرێت. ڕێزمانی شێوەیی ژمارەیەک یاسایە کە دەڵێن چۆن بە بەکارھێنانی پیتەکان یان نیشانەکانی ئەلفوبێیەکە وشە و ڕستە دروستدەکرێت. |
| lexicalization | ckb: زمانی شێوەیی |
| Danish |
| has gloss | dan: Et formelt sprog er i datalogien en mængde af endelige strenge. For at kunne definere et formelt sprog skal man have et alfabet. Et alfabet er en mængde af tegn og kaldes \Sigma. Man bruger kleene-operatoren til at fremstille en vilkårlig streng \Sigma^*. Et formelt sprog L defineres herefter som: |
| lexicalization | dan: formelt sprog |
| German |
| has gloss | deu: Eine formale Sprache ist eine Menge von Wörtern, die aus einem gegebenen Alphabet gebildet werden können (einschließlich des leeren Wortes). Sie ist definiert als eine Teilmenge der Kleeneschen Hülle über dem gegebenen Alphabet. Eine Teilmenge der formalen Sprachen kann mit Hilfe einer formalen Grammatik beschrieben werden, die die Wörter der Sprache herzuleiten gestattet. |
| lexicalization | deu: Formale Sprachen |
| lexicalization | deu: formale Sprache |
| Modern Greek (1453-) |
| has gloss | ell: Στα μαθηματικά, στη λογική, και στην επιστήμη υπολογιστών, μια τυπική γλώσσα (formal language) ή απλώς γλώσσα είναι η γλώσσα που ορίζεται από ακριβείς μαθηματικούς τύπους, ή τύπους που μπορεί να επεξεργαστεί μια μηχανή. Πιο αναλυτικά, μια γλώσσα \boldsymbolL}ορίζεται ως ένα πιθανώς άπειρο σύνολο από πεπερασμένου μήκους σειρές από στοιχεία προερχόμενα από ένα καθορισμένο, πεπερασμένο σύνολο \boldsymbolA} (αλφάβητο). Ο κλάδος που μελετά τις ιδιότητες των τυπικών γλωσσών λέγεται θεωρία τυπικών γλωσσών. |
| lexicalization | ell: Τυπικές γλώσσες |
| lexicalization | ell: τυπική γλώσσα |
| Esperanto |
| lexicalization | epo: Formalaj lingvoj |
| Persian |
| lexicalization | fas: زبان صوری |
| lexicalization | fas: زبان‌های صوری |
| Finnish |
| has gloss | fin: Formaali kieli on tietojenkäsittelytieteessä, matematiikassa ja logiikassa äärellisen pituisten merkkijonojen joukko, jotka on muodostettu jostakin äärellisestä aakkostosta. |
| lexicalization | fin: Formaali kieli |
| lexicalization | fin: Formaalit kielet |
| French |
| has gloss | fra: Dans de nombreux contextes (scientifique, légal, etc.), on désigne par langage formel un mode dexpression plus formalisé et plus précis (les deux nallant pas nécessairement de pair) que le langage de tous les jours (voir langage naturel). |
| lexicalization | fra: Langage Formel |
| Serbo-Croatian |
| has gloss | hbs: U matematici, logici i računarstvu, formalni jezik (još i umjetni jezik ) \boldsymbolL} se sastoji od skupa konačnih slijedova elemenata konačnog skupa \boldsymbolA} znakova (simbola). Matematički, to je neuređen par \boldsymbolL}=\\boldsymbolA},\boldsymbolF}\}. Među najuobičajenijim primjenama, formalni jezik može biti shvaćen kao: |
| lexicalization | hbs: formalni jezik |
| Hebrew |
| has gloss | heb: מושגים יסודיים בשפות פורמליות א. אלפבית (פורמלי): קבוצה של סימנים, או אותיות, שמהם מייצרים את המילים בשפה. קבוצה זו היא סופית. |
| lexicalization | heb: שפה פורמלית |
| lexicalization | heb: שפות פורמליות |
| Hindi |
| lexicalization | hin: औपचारिक भाषा |
| Croatian |
| has gloss | hrv: U matematici, logici i računarstvu, formalni jezik (još i umjetni jezik ) \boldsymbolL} se sastoji od skupa konačnih slijedova elemenata konačnog skupa \boldsymbolA} znakova (simbola). Matematički, to je neuređen par \boldsymbolL}=\\boldsymbolA},\boldsymbolF}\}. Među najuobičajenijim primjenama, formalni jezik može biti shvaćen kao: |
| lexicalization | hrv: Formalni jezici |
| lexicalization | hrv: formalni jezik |
| Hungarian |
| has gloss | hun: A formális nyelv a matematika, a logika és a informatika számára egy véges ábécéből generálható, véges hosszúságú szavak (például karakter stringek, jelsorozatok) halmaza, amelyekkel a formális nyelvek elmélete foglalkozik. (Más kontextusban, mint például jog vagy politika, a formális nyelv kifejezés alatt egy, a napi beszédtől eltérő, udvarias, megfontolt, körülíró jellegű, túlzottan modoros kifejezési módot értenek. Jelen cikkben a formális nyelvet a formális nyelvek elmélete szerinti értjük, és minden esetben szigorúan csak írott nyelvről beszélünk, ezért a jelsorozat elemei megjeleníthető, nyomtatható karakterek.) |
| lexicalization | hun: Formális nyelvek |
| lexicalization | hun: formális nyelv |
| Icelandic |
| lexicalization | isl: Formlegt mál |
| Italian |
| has gloss | ita: In matematica, logica, informatica e linguistica, per linguaggio formale si intende un insieme di stringhe di lunghezza finita costruite sopra un alfabeto finito, cioè sopra un insieme finito di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere. |
| lexicalization | ita: Linguaggi formali |
| lexicalization | ita: linguaggio formale |
| Japanese |
| has gloss | jpn: 形式言語（けいしきげんご）とは、もっとも広義かつ素朴には、素となる記号（これを素記号と仮に呼ぶ）幾つかから、定められた規則（この規則を文法や構文規則や統辞規則などと呼ぶ）に従って作られる記号の全体の集合のことをいう。 ただし、ここで言う記号も、もっとも広義に「何らかの集合の元」を意味する。 |
| lexicalization | jpn: 形式言語 |
| Korean |
| has gloss | kor: 형식 언어는 수학, 논리학, 언어학, 정보 이론 등에서 사용하고 있으며, 또한 계산가능성 이론과 밀접하게 관련되어 있다. 정의 각 형식 언어에는 그 언어에서 사용하는 문자의 집합이 있으며, 그 집합은 무한할 수도 있다. 그 형식 언어에 속하는 문자열은 문자들로 이루어진 유한한 길이의 수열로 정의된다. 문자 집합을 \Sigma라고 정의했을 때, 그 문자들로 이루어진 모든 문자열의 집합은 \Sigma^*가 된다. 여기에서 별표는 클레이너 스타 연산자이다 |
| lexicalization | kor: 형식 언어 |
| lexicalization | kor: 형식언어 |
| Macedonian |
| has gloss | mkd: Во математиката, логиката и компјутерската наука, формален јазик е јазик кој е дефиниран по прецизни математички формули. Формалниот јазик L е карактеризиран како множество од F конечен број на елементи изградени од множество на симболи A. Математички, формалниот јазик е неподредениот пар L=A, F}. Постојат и други алтернативни опции на начини на кои може да се гледа на формалните јазици: |
| lexicalization | mkd: Формален јазик |
| lexicalization | mkd: Формални јазици |
| Dutch |
| has gloss | nld: Formele talen vormen een zelfstandig onderzoeksgebied binnen de theoretische informatica, formele logica en mathematische taalkunde. In tegenstelling tot de wiskunde worden objecten in formele talen altijd gecodeerd voorgesteld. De natuurlijke getallen \mathbbN}=\0,1,2,\ldots\} zijn bijvoorbeeld voor de wiskunde niet meer dan een Gedachte-experiment; in de theoretische informatica worden zij door codering in het decimale stelsel een formele taal. |
| lexicalization | nld: Formele taal |
| Norwegian |
| has gloss | nor: Et formelt språk er en matematisk mengde ord, det vil si finitte strenger av bokstaver eller symboler. Mengden som disse symbolene hentes fra, kalles alfabetet som språket er definert over. Et formelt språk er ofte definert ved formell grammatikk. Ord som tilhører et formelt språk, kalles av og til «velformede ord» eller «velformulerte formler». Formelle språk er syntaktiske enheter; de er definert uten å ta hensyn til betydninga eller semantikken deres. |
| lexicalization | nor: Formelle språk |
| lexicalization | nor: formelt språk |
| Polish |
| has gloss | pol: Język formalny – jedno z najważniejszych pojęć w informatyce teoretycznej, logice matematycznej, metodologii nauk dedukcyjnych. |
| lexicalization | pol: Język formalny |
| lexicalization | pol: Języki formalne |
| Portuguese |
| has gloss | por: Entende-se por Teoria das Linguagens Formais e dos Autômatos (LFA) o 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. |
| lexicalization | por: Linguagem formal |
| lexicalization | por: Linguagens formais |
| Moldavian |
| has gloss | ron: În matematică, logică şi informatică, un limbaj formal este o mulţime de cuvinte de lungime finită (şiruri de caractere) bazate pe un alfabet finit, şi teoria ştiinţifică ce tratează aceste entităţi se numeşte teoria limbajelor formale. Putem vorbi despre limbaje formale în multe contexte (ştiinţific, legal, lingvistic şi altele) dar în acest articol vom trata limbajele formale în sensul de limbaj studiat de teoria limbajelor formale. |
| lexicalization | ron: limbaje formale |
| Russian |
| has gloss | rus: В математической логике и информатике формальный язык — это множество конечных слов (син. строк, цепочек) над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов. Научная теория, которая имеет дело с этими объектами, называется теорией формальных языков. |
| lexicalization | rus: Формальные языки |
| lexicalization | rus: Формальный язык |
| Slovak |
| has gloss | slk: (Formálny) jazyk je zovšeobecnenie pojmu jazyk z lingvistiky. |
| lexicalization | slk: Formálne jazyky |
| lexicalization | slk: Formálny jazyk |
| Castilian |
| has gloss | spa: En matemáticas, lógica, y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados. Al conjunto de los símbolos primitivos se le llama el alfabeto (o vocabulario) del lenguaje, y al conjunto de las reglas se lo llama la gramática formal (o sintaxis). A una cadena de símbolos formada de acuerdo a la gramática se la 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. A diferencia de lo que ocurre con el alfabeto (que debe ser un conjunto finito) y con cada fórmula bien formada (que debe tener una longitud también finita), un lenguaje formal puede estar compuesto por un número infinito de fórmulas bien formadas. |
| lexicalization | spa: lenguaje formal |
| lexicalization | spa: Lenguajes formales |
| Serbian |
| has gloss | srp: Формални језик је скуп речи, то јест коначних ниски слова, или симбола. Скуп из кога се ова слова узимају се назива азбуком над којом је језик дефинисан. Формални језик се често дефинише помоћу формалне граматике. Формални језици су чисто синтаксни појам, тако да није обавезно да постоји неко значење повезано са њима. Како би се разликовале речи које припадају језику од произвољних речи над датом азбуком, речи које припадају језику се понекад називају добро-формираним речима (или када се ради о применама у логици, добро-формираним формулама). |
| lexicalization | srp: формални језик |
| lexicalization | srp: Формални језици |
| Swedish |
| has gloss | swe: Formella språk är systematiserade språk med klart angivna explicita grammatiska regler för hur språkets symboler får kombineras. Formella språk används inom logik och matematik, men framförallt i datorsammanhang. Programspråk för datorer är ofta definierade som formella språk. |
| lexicalization | swe: Formella språk |
| Turkish |
| has gloss | tur: Biçimsel dil kuramı, teorik bilişimin temel dallarından biridir. Bir biçimsel dil, abece denilen belli bir küme Σ üzerinde kurulan katarlardan oluşur. Biçimsel dilleri tanımlamak için ifadeler, gramerler, ya da tanımlanan dile ait olan katarları kabul eden otomatlar kullanılır. Bunun yüzünden otomat kuramı ile ilişkisi çok önemlidir. |
| lexicalization | tur: Biçimsel dil kuramı |
| lexicalization | tur: Formal dilleri |
| Ukrainian |
| has gloss | ukr: Форма́льна мо́ва — множина скінчених послідовностей символів, які описуються правилами певного виду, які називаються граматикою, або синтаксисом мови (див. формальна граматика). |
| lexicalization | ukr: Формальна мова |
| lexicalization | ukr: Формальні мови |
| Chinese |
| has gloss | zho: 在数学、逻辑和计算机科学中，形式语言是用精确的数学或机器可处理的公式定义的语言。 |
| lexicalization | zho: 形式语言 |
