| Bosnian |
| has gloss | bos: Formalna gramatika je gramatika koja se može zapisati i jednoznačno tumačiti. |
| lexicalization | bos: Formalna gramatika |
| Catalan |
| has gloss | cat: Una gramàtica formal és un objecte o model matemàtic que permet especificar un llenguatge o llengua, és a dir, és el conjunt de regles capaços de generar totes les possibilitats combinatòries de l'idioma, ja sigui aquest un llenguatge formal o un llenguatge natural. |
| lexicalization | cat: gramàtica formal |
| Czech |
| has gloss | ces: Formální gramatika v informatice označuje strukturu, která popisuje formální jazyk. Pojmenování je zvoleno kvůli podobnosti s gramatikami používanými v přirozených jazycích. |
| lexicalization | ces: Formální gramatika |
| German |
| has gloss | deu: Formale Grammatiken sind mathematische Modelle von Grammatiken, die mit Hilfe des Semi-Thue-Systems angegeben werden und durch die formale Sprachen beschrieben und erzeugt werden können. Sie werden in der theoretischen Informatik, insbesondere in der Berechenbarkeitstheorie, und im Compilerbau angewandt, um zum einen eine formale Sprache eindeutig zu beschreiben (d. h. um eindeutig festzulegen, ob ein Wort Element einer Sprache ist, oder nicht) und um zum anderen Eigenschaften dieser formalen Sprachen zu untersuchen bzw. zu beweisen. Formale Grammatiken werden mit Hilfe der Chomsky-Hierarchie klassifiziert. |
| lexicalization | deu: Formale Grammatik |
| Modern Greek (1453-) |
| lexicalization | ell: τυπική γραμματική |
| Estonian |
| lexicalization | est: Formaalne grammatika |
| Finnish |
| has gloss | fin: Formaali kielioppi on rakenne, joka kuvaa tarkasti formaalin kielen. Käsitettä käytetään niin tietojenkäsittelytieteessä kuin kielitieteessäkin. Yleensä kielioppi on joukko sääntöjä, joka tuottaa (yleensä äärettömän) joukon äärellisen pituisia merkkijonoja (yleensä äärellisestä) aakkostosta. Formaalin kieliopin nimitys on analogia luonnollisten kielten kieliopeille. |
| lexicalization | fin: Formaali kielioppi |
| French |
| has gloss | fra: Une grammaire est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots admissibles sur un alphabet donné. |
| lexicalization | fra: grammaire formelle |
| Galician |
| has gloss | glg: Unha gramática formal é un obxecto ou modelo matemático que permite especificar unha linguaxe ou lingua, é dicir, é o conxunto de regras capaces de xerar todalas posibilidades combinatorias desa linguaxe, xa sexa esta unha linguaxe formal ou unha linguaxe natural. Introdución A expresión «gramática formal» ten dous sentidos: * gramática dunha linguaxe formal. * descrición formal de parte da gramática dunha linguaxe natural. |
| lexicalization | glg: gramática formal |
| Serbo-Croatian |
| has gloss | hbs: U računarstvu i lingvistici, formalna gramatika, ili ponekad jednostavno gramatika, jest precizan opis formalnog jezika - to jest, skupa nizova znakova (stringova). Dvije glavne kategorije formalnih gramatika su generativne gramatike, koje predstavljaju skup pravila za generiranje nizova znakova jezika, te analitičke gramatike, koje predstavljaju skup pravila za analizu pripadnosti niza znakova jeziku. Ukratko, analitička gramatika opisuje kako prepoznati kad je niz znakova u skupu, dok generativna gramatika opisuje kako pisati samo one nizove znakova u skupu. |
| lexicalization | hbs: formalna gramatika |
| Croatian |
| has gloss | hrv: U računarstvu i lingvistici, formalna gramatika, ili ponekad jednostavno gramatika, jest precizan opis formalnog jezika - to jest, skupa nizova znakova (stringova). Dvije glavne kategorije formalnih gramatika su generativne gramatike, koje predstavljaju skup pravila za generiranje nizova znakova jezika, te analitičke gramatike, koje predstavljaju skup pravila za analizu pripadnosti niza znakova jeziku. Ukratko, analitička gramatika opisuje kako prepoznati kad je niz znakova u skupu, dok generativna gramatika opisuje kako pisati samo one nizove znakova u skupu. |
| lexicalization | hrv: formalna gramatika |
| Hungarian |
| has gloss | hun: A formális nyelvtan informatikai értelemben egy absztrakt struktúra, amely pontosan leír egy formális nyelvet. A formális nyelveket, valamint az emberi nyelveket leíró nyelvtanok között bizonyos analógiák figyelhetők meg. A formális nyelvek és formális nyelvtanok vizsgálatának egyik legjelentősebb úttörője Noam Chomsky, akinek a munkássága egyaránt kihatott a formális nyelvek, és a természetes nyelvek kutatására is. |
| lexicalization | hun: formális nyelvtan |
| Italian |
| has gloss | ita: In informatica una grammatica formale è una struttura astratta che descrive un linguaggio formale in modo preciso, è cioè un sistema di regole che delineano matematicamente un insieme (di solito infinito) di sequenze finite di simboli (stringhe) appartenenti ad un alfabeto anch'esso finito. Le grammatiche formali in quanto definite attraverso rigide regole matematiche. |
| lexicalization | ita: grammatica formale |
| Japanese |
| has gloss | jpn: 情報工学における形式文法（けいしきぶんぽう、Formal Grammar）は、形式言語を正確に記述するものである。すなわち、（有限の）文字群上の有限長の文字列の（通常無限な）集合を数学的に詳述する規則の集まりである。形式文法は自然言語の文法との類推から文法と名づけられた。 |
| lexicalization | jpn: 形式文法 |
| Korean |
| has gloss | kor: 형식 문법(formal grammar)은 형식 언어를 정의하는 방법으로, 유한개의 규칙을 통해 어떤 문자열이 특정 언어에 포함되는지를 판단하거나, 그 문법으로부터 어떤 문자열을 생성해 낼지를 정한다. |
| lexicalization | kor: 형식 문법 |
| Dutch |
| has gloss | nld: In de informatica en theoretische taalkunde is een formele grammatica een beschrijving van een formele taal, een verzameling strings (in deze context ook zinnen genoemd) in een bepaald alfabet. Er zijn twee categorieën te onderscheiden: de generatieve grammaticas die beschrijven hoe een string uit de taal gegenereerd kan worden, en de analytische grammaticas die beschrijven hoe men een string uit een taal kan herkennen (analyseren). |
| lexicalization | nld: formele grammatica |
| Norwegian |
| has gloss | nor: Formell grammatikk (også kalt kun grammatikk) er i teoretisk informatikk en mengde formasjonsregler som definerer hvilke strenger fra alfabetet til et formelt språk som er syntaktisk gyldige (det vil si grammatikalske) i dette språket. En grammatikk beskriver kun plasseringa til og manipulasjonen av strengene i språket og ingenting annet. Egenskapene til formelle grammatikker studereres særlig av fagfeltet formell språkteori. Teorien tas i bruk i blant annet informatikk og lingvistikk. |
| lexicalization | nor: Formell grammatikk |
| Polish |
| has gloss | pol: Gramatyką formalną nazywamy sposób opisu języka formalnego, czyli podzbioru zbioru wszystkich słów skończonej długości nad danym alfabetem. |
| lexicalization | pol: Gramatyka formalna |
| Portuguese |
| has gloss | por: A gramática formal é um objeto matemático que permite especificar uma linguagem ou língua, ou seja, é um conjunto de regras capaz de gerar todas as possibilidades combinatórias desta linguagem, e isto é uma linguagem formal ou linguagem natural. |
| lexicalization | por: gramática formal |
| Russian |
| has gloss | rus: Формальная грамматика или просто грамматика в теории формальных языков — способ описания формального языка, то есть выделения некоторого подмножества из множества всех слов некоторого конечного алфавитa. Различают порождающие и распознающие (или аналитические) грамматики — первые задают правила, с помощью которых можно построить любое слово языка, а вторые позволяют по данному слову определить, входит оно в язык или нет. |
| lexicalization | rus: Формальная грамматика |
| Castilian |
| has gloss | spa: Una gramática formal es un objeto o modelo matemático que permite especificar un lenguaje o lengua, es decir, es el conjunto de reglas capaces de generar todas las posibilidades combinatorias de ese lenguaje, ya sea éste un lenguaje formal o un lenguaje natural. |
| lexicalization | spa: Gramatica formal |
| lexicalization | spa: gramática formal |
| Serbian |
| has gloss | srp: У формалној теорији језика, у рачунарству и у лингвистици, формална граматика (чешће само граматика) је прецизна дефиниција неког језика, тј. скуп ниски над неком азбуком. Другим речима, граматика описује које од могућих секвенци симбола у језику уствари формирају валидне речи и реченице у том језику, али не дефинише њихово значење. |
| lexicalization | srp: формална граматика |
| Swedish |
| has gloss | swe: En välgjord formell grammatik är ett regelsystem som beskriver ett språk i någon form uttömmande och utan undantag eller inbyggda motsägelser. De primära användningsområdena för en formell grammatik är bland annat inom matematiken, där de kan användas för att formulera bevis och garantera oemotsägbarhet och stringens, och inom datavetenskapen där de används till att definiera programspråk. |
| lexicalization | swe: formell grammatik |
| Ukrainian |
| has gloss | ukr: Поняття алфавіту Алфавіт - це скінченна множина символів. ε - порожній ланцюжок, слово, послідовність. Алфавітом є об'єднання алфавітів, перетин, різниця алфавітів. Нехай Т - алфавіт, тоді: * Т+ - множина усіх можливих послідовностей, що складені з елемнтів цього алфавіту крім порожньої послідовності ε. * Т* - множина усіх можливих послідовностей, що складені з елементів цього алфавіту, будь-якої довжини. Отже: T^* = T^+ \cup \ \varepsilon \} * Тk - множина усіх можливих послідовностей,що складені з елементів цього алфавіту, довжини не більше k. |
| lexicalization | ukr: Формальні граматики |
| Chinese |
| has gloss | zho: 在计算机科学中，形式语言是：某个字母表上，一些有限长字串的集合，而形式文法是描述这个集合的一种方法。形式文法之所以这样命名，是因为它与人类自然语言中的文法相似的缘故。 |
| lexicalization | zho: 形式文法 |
