| dbpprop:abstract
|
- A formal language is a set of words, i.e. finite strings of letters, symbols, or tokens. The set from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a formal grammar (also called its formation rules); accordingly, words that belong to a formal language are sometimes called well-formed words. Formal languages are purely syntactical entities; they are defined without any reference to their meaning or semantics, either formal or informal. Formal languages are studied in computer science and linguistics; the field of formal language theory studies the purely syntactical aspects of such languages (that is, their internal structural patterns). Formal languages are often used as the basis for richer constructs endowed with semantics. In computer science they are used, among other things, for the precise definition of data formats and the syntax of programming languages. Formal languages play a crucial role in the development of compilers, typically produced by means of a compiler compiler, which may be a single program or may be separated in tools like lexical analyzer generators, and parser generators. Since formal languages alone do not have semantics, other formal constructs are needed for the formal specification of program semantics. Formal languages are also used in logic and in foundations of mathematics to represent the syntax of formal theories. Logical systems can be seen as a formal language with additional constructs, like proof calculi, which define a consequence relation. "Tarski's definition of truth" in terms of a T-schema for first-order logic is an example of fully interpreted formal language; all its sentences have meanings that make them either true or false.
- Eine formale Sprache ist eine Menge von Wörtern, die aus einem gegebenen Alphabet gebildet werden können. 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. Die Theorie der formalen Sprachen ist eine Teildisziplin der Mathematik und stellt ein eigenständiges Wissensgebiet in der theoretischen Informatik dar. Die Menge der Wörter einer formalen Sprache kann endlich oder unendlich sein, wobei dann auch der Begriff einer endlichen bzw. unendlichen (formalen) Sprache verwendet wird. Wenn die Menge der Wörter der formalen Sprache gleich der leeren Menge ist, spricht man auch von der leeren Sprache. Die Sprache, die nur das leere Wort enthält, ist selbst nicht leer, sondern einelementig. Die formale Grammatik einer bestimmten formalen Sprache erlaubt gelegentlich zu entscheiden, ob ein bestimmtes vorgegebenes Wort zu dieser formalen Sprache gehört oder nicht. In anderen Fällen ist das nicht so. Bei formalen Sprachen mit einem unendlichen Wortvorrat ist vielfach die Entscheidung über die Zugehörigkeit nicht möglich, obwohl man theoretisch alle Wörter einer formalen Sprache über die Grammatik erzeugen kann.
- 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. Příkladem abecedy může být <math>\left \{ a, b \right \}</math>, slovem nad touto abecedou je například <math>ababba</math>. Příkladem jazyka můžou být slova nad touto abecedou, která obsahují stejný počet symbolů <math>a</math> a <math>b</math>. Prázdné slovo (tj. slovo, které se skládá z nulového počtu znaků) se značí <math>e</math>, <math>\epsilon</math> nebo λ. Ačkoli abeceda je konečná množina a každé slovo je konečná množina, jazyk konečný být nemusí, jelikož délka slov nemusí být shora omezena. Abeceda je obvykle značena symbolem <math>\Sigma</math>. Zápis <math>\Sigma^{*}</math> pak označuje jazyk, obsahující všechna slova nad danou abecedou, včetně prázdného slova. Každý jazyk <math>L</math>nad určitou abecedou <math>\Sigma</math> je podmnožinou jazyka <math>\Sigma^{*}</math>. Příklady formálních jazyků: množina všech slov nad abecedou <math>{a, b}</math> množina <math>\left \{ a^{n}\right\}</math>, n je přirozené číslo a <math>a^{n}</math> znamená, že <math>a</math> se vyskytuje <math>n</math>-krát za sebou. konečné jazyky jako například a,aa,bba množina všech programů v daném programovacím jazyce množina všech slov, nad kterými daný Turingův stroj zastaví. Formální jazyk může být definován různými způsoby, například : slova generovaná nějakou formální gramatikou; slova vyhovující nějakému regulárnímu výrazu; slova akceptovaná nějakým automatem, například Turingovým strojem nebo konečným automatem;
- En matemáticas, lógica, y ciencias de la computación, un lenguaje formal es un conjunto de palabras de longitud finita en los casos más simples o expresiones válidas (formuladas por palabras) formadas a partir de un alfabeto (conjunto de caracteres) finito. El nombre lenguaje se justifica porque las estructuras que con este se forman tienen reglas de buena formación (gramática) e interpretación semántica (significado) en una forma muy similar a los lenguajes hablados o naturales. Un posible alfabeto sería: <math>\{ a, b\}\, </math>, y una cadena cualquiera sobre este alfabeto sería, por ejemplo, <math>ababba\,</math>. Un lenguaje sobre este alfabeto, que incluyera esta cadena, sería: el conjunto de todas las cadenas que contienen el mismo número de símbolos <math>a \,</math> que <math>b \,</math>. La palabra vacía (esto es, la cadena de longitud cero) se permite en este tipo de lenguajes, notándose frecuentemente mediante <math>\epsilon \,</math>, <math>e\,</math> ó <math>\lambda \,</math>. A diferencia de lo que ocurre con el alfabeto (que es un conjunto finito) y con cada palabra (que tiene una longitud también finita), un lenguaje puede estar compuesto por un número infinito de palabras.
- Formaali kieli on tietojenkäsittelytieteessä, matematiikassa ja logiikassa äärellisen pituisten merkkijonojen joukko, jotka on muodostettu jostakin äärellisestä aakkostosta. On huomattava, että aakkoston on oltava äärellinen joukko merkkejä ja jokaisen merkkijonon pituuden on oltava äärellinen, mutta kieli voi hyvin sisältää äärettömän määrän merkkijonoja (koska kieleen sisältyvien merkkijonojen pituutta ei välttämättä ole rajoitettu). Esimerkki aakkostosta on {a,b}, jolloin tämän aakkoston merkkijono voisi olla vaikkapa ababba. Tämän aakkoston tyypillinen kieli (joka sisältäisi kyseisen esimerkkijonon) olisi niiden merkkijonojen joukko, joissa on sama määrä merkkejä a ja b. Tyhjä merkkijono on merkkijono, jonka pituus on nolla. Sitä merkitään yleensä epsilonilla ε tai lambdalla λ.
- Dans de nombreux contextes (scientifique, légal, etc. ), on désigne par langage formel un mode d'expression plus formalisé et plus précis (les deux n'allant pas nécessairement de pair) que le langage de tous les jours. En mathématiques, logique et informatique, un langage formel est formé : d'un ensemble de mots obéissant à des règles logiques strictes (dites grammaire formelle ou syntaxe). d'une sémantique. La force des langages formels est de pouvoir faire abstraction de la sémantique, ce qui rend les théories réutilisables dans plusieurs modèles. Ainsi, alors qu'un calcul particulier de paye ou de matrice inverse restera toujours un calcul de paye ou de matrice inverse, un théorème sur les groupes s'appliquera aussi bien sur l'ensemble des entiers que sur les transformations du cube de Rubik.
- 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 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.)
- 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. Di un linguaggio formale può far parte o meno la stringa muta o parola vuota, cioè la sequenza costituita da zero caratteri: questa spesso viene denotata come e, ε o λ: qui preferiamo usare μ. Un linguaggio può essere finito o infinito in quanto non si pongono limiti alla lunghezza delle stringhe. Un tipico alfabeto potrebbe essere A := {a, b} e tipiche stringhe su questo alfabeto ababba aaabbbaaa aaabbbabaababb . In generale diremo che un modello formale che può riconoscere e generare tutte e sole le stringhe di un linguaggio formale agisce come una definizione di tale linguaggio. Secondo i due principali approcci alla definizione dei linguaggi formali, un modello si può concretizzare in una grammatica formale (approccio generativo), o in un automa (approccio riconoscitivo).
- 形式言語（けいしきげんご）とは、もっとも広義かつ素朴には、素となる記号（これを素記号と仮に呼ぶ）幾つかから、定められた規則（この規則を文法や構文規則や統辞規則などと呼ぶ）に従って作られる記号の全体の集合のことをいう。 ただし、ここで言う記号も、もっとも広義に「何らかの集合の元」を意味する。
- 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 <math>\mathbb{N}=\{0,1,2,\ldots\}</math> 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. Als we de woorden uit een natuurlijke taal als alfabet beschouwen, dan zijn de zinnen binnen deze natuurlijke taal een formele taal over het alfabet van zijn woorden. Bij natuurlijke talen ontbreekt echter een definitie die precies kan bepalen, welke zinnen wel en welke zinnen niet tot de natuurlijke taal behoren (met uitzondering van talen als Latijn en Esperanto). In principe kunnen we stellingen en algoritmen voor formele talen dus enkel voor delen van natuurlijke talen gebruiken.
- Język formalny – jedno z najważniejszych pojęć w informatyce teoretycznej, logice matematycznej, metodologii nauk dedukcyjnych. Wybierzmy pewien skończony zbiór symboli i nazwijmy go alfabetem. Dla przykładu może być to zwyczajny polski alfabet, złożony z liter a, ą, b, c, ć itd. , choć może być nim np. zbiór cyfr od 0 do 9, czy też coś bardziej egzotycznego. Z symboli takiego alfabetu możemy budować słowa – skończone ciągi symboli. Słowem nad alfabetem polskich liter jest więc "ala", "słoneczko", ale też "myzmyz" czy słowo puste "", oznaczane też symbolem <math>\epsilon</math>. Język formalny to właśnie podzbiór zbioru wszystkich słów nad pewnym alfabetem. Tak pojmowanym językiem może być więc: zbiór wszystkich słów złożonych z liter polskiego alfabetu i występujących w pewnym słowniku zbiór takich słów złożonych z cyfr od 0 do 9, które przedstawiają liczbę pierwszą zbiór słów złożonych z zer i jedynek, w których zer jest więcej niż jedynek zbiór prawidłowo napisanych równań matematycznych zbiór programów, które po skompilowaniu i uruchomieniu zawieszą dany komputer zbiór pusty Za język możemy uważać każdy zbiór, jeśli tylko każdy jego element potrafimy opisać za pomocą skończenie wielu symboli jakiegoś wybranego przez nas alfabetu. Prawie wszystkie ciekawe zbiory, z jakimi spotykamy się w informatyce, mają tą właściwość – jeśli niemożliwe byłoby napisanie czegoś w skończonej ilości znaków, komputery nie potrafiłyby nic z tą rzeczą zrobić – zbiory nie dające się przedstawić w postaci języków istnieją więc niejako poza informatyką. Uwaga: Chociaż w opisach języków formalnych używa się określeń zapożyczonych od języków naturalnych – język, słowo, alfabet, gramatyka itd. – to języki formalne są tworami matematycznymi i posiadają jedynie bardzo odległą i praktycznie ograniczoną relację do języków naturalnych jak np. polski czy bułgarski.
- 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. A importância dessa teoria na Ciência da Computação é dupla: ela tanto apóia outros aspectos teóricos da Ciência da Computação, 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 é necessário 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 sentença 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 sentenças 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. lâminas para curso de um semestre de duração de linguagens formais a nível de graduação
- Î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.
- В математической логике и информатике формальный язык — это множество конечных слов над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов. Научная теория, которая имеет дело с этими объектами, называется теорией формальных языков. Например, если алфавит задан как {a, b}, а язык L включает в себя все слова над ним, то слово ababba принадлежит L. Пустое слово (то есть строка нулевой длины) допускается и часто обозначается как e, ε или Λ. Некоторые примеры формальных языков: множество всех слов над {a, b} множество <math>\{ a^n\}</math>, где n — простое число, а <math>a^{n}</math> означает, что a повторяется n раз множество синтаксически корректных программ в данном языке программирования Формальный язык может быть определен по-разному, например: Простым перечислением слов, входящих в данный язык. Этот способ, в основном, применим для определения конечных языков и языков простой структуры. Словами, порождёнными некоторой формальной грамматикой Словами, порождёнными регулярным выражением Словами, распознаваемыми некоторым конечным автоматом Словами, порождёнными БНФ-конструкцией Некоторые операции могут быть использованы для того, чтобы порождать новые языки из данных. Предположим, что <math>L_{1}</math> и <math>L_{2}</math> являются языками, определёнными над некоторым общим алфавитом. Конкатенация (сцепление) <math>L_{1}L_{2}</math> содержит все слова, удовлетворяющие форме <math>vw</math>, где <math>v</math> — это слово из <math>L_{1}</math>, а <math>w</math> — слово из <math>L_{2}</math>. Пересечение <math>L_1 \cap L_2</math> содержит все слова, содержащихся и в <math>L_1</math>, и в <math>L_{2}</math>. Объединение <math>L_1 \cup L_2</math> содержит все слова, содержащиеся или в <math>L_{1}</math>, или в <math>L_{2}</math>. Дополнение языка <math>L_{1}</math> содержит все слова алфавита, которые не содержатся в <math>L_{1}</math>. Правое отношение <math>L_{1}/L_{2}</math> содержит все слова <math>v</math>, для которых существует слово <math>w</math> в <math>L_{2}</math> такое, что <math>vw</math> находидось в <math>L_{1}</math>. Замыкание Клини <math>L_{1}^{*}</math> содержит все слова, которые могут быть записаны в форме <math>w_{1}w_{2}... w_{n}</math>, где <math>w_{i}</math> содержится в <math>L_{1}</math> и <math>n \ge 0</math>. Следует помнить, что это включает и пустое слово <math>\epsilon</math>, так как <math>n = 0</math> допустимо по условию. Обращение <math>L_{1}^{R}</math> содержит обращенные слова из <math>L_{1}</math>. Смешение <math>L_{1}</math> и <math>L_{2}</math> содержит все слова, которые могут быть записаны в форме <math>v_{1}w_{1}v_{2}w_{2}... v_{n}w_{n}</math>, где <math>n \ge 1</math> и <math>v_{1},... ,v_{n}</math> являются такими словами, что связь <math>v_{1}... v_{n}</math> находится в <math>L_{1}</math>, а <math>w_{1},... ,w_{n}</math> являются такими словами, что <math>w_{1}... w_{n}</math> находятся в <math>L_{2}</math>.
- 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. Biçimsel diller, Chomsky sınıflandırmasına göre 4 sınıfa ayırılır: Tip 3 Düzenli diller Tip 2 Bağlamdan bağımsız diller Tip 1 Bağlama duyarlı diller Tip 0 Özyinelemeli sayılabilir diller Her sınıf, daha küçük sayılı sınıfların bir alt kümesidir. Tip 0 en genel sınıftır, Turing makina ve bilgisayar programıyla sayılanan her dilli kapsar. Bu sınıflandırma (hiyerarşi), dillerin katarlarını türetten gramer ya da kabul eden makinaların hesaplama gücüne göre yapılmıştır.
- Форма́льна мо́ва — множина скінчених послідовностей символів, які описуються правилами певного виду, які називаються граматикою, або синтаксисом мови. В тому випадку, коли кожному слову формальної мови співставляється його семантика, формальну мову називають інтерпретованою. Формальні мови можна класифікувати за характером формального апарату, що застосовується для їхнього описання: Автоматна мова, Безконтекстна мова, Категоріальна мова, Мова породжувана граматиками залежностей, і так далі, або за застосуванням: Алгоритмічна мова, Інформаційна мова, Логіко-математична мова, Математичні моделі мови. Більшість формальних мов, створюваних для практичних цілей, є інтерпретованими мовами. Важливий клас інтерпретованих мов становлять мови програмування, а також алгоритмічні мови.
- 在数学、逻辑和计算机科学中，形式语言是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。
|
| rdfs:comment
|
- A formal language is a set of words, i.e. finite strings of letters, symbols, or tokens. The set from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a formal grammar (also called its formation rules); accordingly, words that belong to a formal language are sometimes called well-formed words.
- Eine formale Sprache ist eine Menge von Wörtern, die aus einem gegebenen Alphabet gebildet werden können. 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. Die Theorie der formalen Sprachen ist eine Teildisziplin der Mathematik und stellt ein eigenständiges Wissensgebiet in der theoretischen Informatik dar.
- 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. Příkladem abecedy může být <math>\left \{ a, b \right \}</math>, slovem nad touto abecedou je například <math>ababba</math>.
- En matemáticas, lógica, y ciencias de la computación, un lenguaje formal es un conjunto de palabras de longitud finita en los casos más simples o expresiones válidas (formuladas por palabras) formadas a partir de un alfabeto (conjunto de caracteres) finito. El nombre lenguaje se justifica porque las estructuras que con este se forman tienen reglas de buena formación (gramática) e interpretación semántica (significado) en una forma muy similar a los lenguajes hablados o naturales.
- Formaali kieli on tietojenkäsittelytieteessä, matematiikassa ja logiikassa äärellisen pituisten merkkijonojen joukko, jotka on muodostettu jostakin äärellisestä aakkostosta. On huomattava, että aakkoston on oltava äärellinen joukko merkkejä ja jokaisen merkkijonon pituuden on oltava äärellinen, mutta kieli voi hyvin sisältää äärettömän määrän merkkijonoja (koska kieleen sisältyvien merkkijonojen pituutta ei välttämättä ole rajoitettu).
- Dans de nombreux contextes (scientifique, légal, etc. ), on désigne par langage formel un mode d'expression plus formalisé et plus précis (les deux n'allant pas nécessairement de pair) que le langage de tous les jours. En mathématiques, logique et informatique, un langage formel est formé : d'un ensemble de mots obéissant à des règles logiques strictes (dites grammaire formelle ou syntaxe). d'une sémantique.
- 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 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.
- 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. Di un linguaggio formale può far parte o meno la stringa muta o parola vuota, cioè la sequenza costituita da zero caratteri: questa spesso viene denotata come e, ε o λ: qui preferiamo usare μ.
- 形式言語（けいしきげんご）とは、もっとも広義かつ素朴には、素となる記号（これを素記号と仮に呼ぶ）幾つかから、定められた規則（この規則を文法や構文規則や統辞規則などと呼ぶ）に従って作られる記号の全体の集合のことをいう。 ただし、ここで言う記号も、もっとも広義に「何らかの集合の元」を意味する。
- 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 <math>\mathbb{N}=\{0,1,2,\ldots\}</math> 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.
- Język formalny – jedno z najważniejszych pojęć w informatyce teoretycznej, logice matematycznej, metodologii nauk dedukcyjnych. Wybierzmy pewien skończony zbiór symboli i nazwijmy go alfabetem. Dla przykładu może być to zwyczajny polski alfabet, złożony z liter a, ą, b, c, ć itd. , choć może być nim np. zbiór cyfr od 0 do 9, czy też coś bardziej egzotycznego. Z symboli takiego alfabetu możemy budować słowa – skończone ciągi symboli.
- 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.
- Î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.
- В математической логике и информатике формальный язык — это множество конечных слов над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов.
- 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.
- Форма́льна мо́ва — множина скінчених послідовностей символів, які описуються правилами певного виду, які називаються граматикою, або синтаксисом мови.
|
![[RDF Data]](/statics/sw-cube.png)
