Category:Formal languages

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
formal language 
set of strings of symbols that may be constrained by rules that are specific to it; words whose letters are taken from an alphabet and are well-formed according to a specific set of rules
Syntax tree.svg
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Instance oflinguistics term,
computer science term
Subclass offormal system
Different from
  • formalized language
  • artificial language
  • language
Authority control
Edit infobox data on Wikidata
lenguaje formal (es); formális nyelv (hu); 形式言語 (ja); llinguaxe formal (ast); формальный язык (ru); 形式语言 (zh-hans); Formale Sprache (de); Lenguagg formal (lmo); teanga fhoirmeálta (ga); формални језик (sr-ec); Формален език (bg); Formelt sprog (da); Biçimsel dil kuramı (tr); 形式語言 (zh-hk); formala lingvo (eo); formal language (en); formellt språk (sv); фармальная мова (be); שפה פורמלית (he); औपचारिक भाषा (hi); 形式語言 (zh-hant); 形式语言 (zh-cn); linguagem formal (pt); Lenguaige formal (mwl); formálny jazyk (sk); lingua formal (lfn); формален јазик (mk); Formalni jezik (bs); linguaggio formale (it); 形式語言 (zh-tw); langage formel (fr); Langaj fòmèl (ht); Formalni jezik (hr); زبان صوری (fa); język formalny (pl); ภาษารูปนัย (th); 形式语言 (zh-sg); Formalni jezik (sh); llenguatge formal (ca); formalni jezik (sr-el); limbaj formal (ro); Formali kalba (lt); Formaali kieli (fi); формални језик (sr); формальна мова (uk); formální jazyk (cs); ngôn ngữ hình thức (vi); formal leid (sco); bahasa formal (id); formelt språk (nn); formelt språk (nb); formele taal (nl); 形式語言 (zh); фармальная мова (be-tarask); ߞߊ߲߫ ߛߎ߯ߦߊ (nqo); زمانی شێوەیی (ckb); linguaxe formal (gl); لغة شكلية (ar); Τυπική γλώσσα (el); 형식 언어 (ko) insieme di stringhe di lunghezza finita costruite sopra un alfabeto finito, che possono essere soggette a regole specifiche (it); ensemble de chaînes de symboles contraintes par des règles (fr); קבוצה של סימנים במתמטיקה, לוגיקה ומדעי המחשב (he); conxuntu de cadenes de símbolos que puen unise con regles específiques pa él, colos símbolos sacaos d'un alfabetu, y onde les regles pa unir esos símbolos tán especificaes formalmente (ast); исчисление, обычно цепочек, над конечным алфавитом (ru); abstrakte Sprache, die mathematisch ausgedrückt und verwendet wird (de); Tipo de linguagem normativa de um idioma. (pt); set of strings of symbols that may be constrained by rules that are specific to it; words whose letters are taken from an alphabet and are well-formed according to a specific set of rules (en); lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados (es); množina konečných řetězců nad určitou abecedou (cs); 一組符號字符串,可能受特定於它的規則約束' (zh) ߗߏ߯ߦߊ, ߦߋߢߊ, ߞߍߢߊ, ߛߎ߯ߦߊ (nqo); théorie des langages (fr); Umjetni jezik (hr); llinguaxes formales (ast); формализированный язык, формализованный язык (ru); Formale Programmiersprache, Wortmenge (de); Teoria das linguagens formais e dos autômatos, Lfa, Linguagens formais, Linguagens formais e compiladores (pt); زبان های فرمال, زبان فرمال, زبان‌های فرمال, زبان‌های صوری, زبان های صورت گرا, زبان های صوری, زبان‌های صورت‌گرا (fa); 形式化语言, 补语言, 形式语言 (zh); Језик, Формална лингвистичка анализа, Формални језици, Формални израз, Формалан језик (sr); limbaje formale (ro); 形式言語理論 (ja); Formalització (ca); Języki formalne (pl); Teoría de los lenguajes formales, Lenguajes formales, Teoria de los lenguajes formales (es); formalspråk (nn); שפות פורמליות (he); Formele talen (nl); linguaggi formali (it); 형식언어 (ko); мови формальні, формальні мови (uk); Formaalit kielet, Formaalinen kieli, Muodollinen kieli, Formaaliset kielet (fi); Формални езици (bg); لغه شكليه, لغات شكلية, Formal language, نظرية اللغات الشكلية, اللغات الشكلية (ar); Θεωρία τυπικών γλωσσών (el); Formelle sprog (da)

Subcategories

This category has the following 16 subcategories, out of 16 total.

A

B

C

F

G

L

P

R

S

T

Media in category "Formal languages"

The following 57 files are in this category, out of 57 total.