Alphabet (formal languages) (original) (raw)
Abeceda je v teorii formálních jazyků konečná množina znaků. Většinou se označuje nebo jinými velkými písmeny řecké abecedy. Množina všech konečných řetězců znaků abecedy se označuje a to jsou právě slova nad abecedou . Mezi často využívané abecedy patří dvojková abeceda {0,1} nebo písmena anglické abecedy.
| Property | Value |
|---|---|
| dbo:abstract | Abeceda je v teorii formálních jazyků konečná množina znaků. Většinou se označuje nebo jinými velkými písmeny řecké abecedy. Množina všech konečných řetězců znaků abecedy se označuje a to jsou právě slova nad abecedou . Mezi často využívané abecedy patří dvojková abeceda {0,1} nebo písmena anglické abecedy. (cs) In der Informatik und der mathematischen Logik ist ein Alphabet eine endliche Menge voneinander unterscheidbarer Symbole, die auch Zeichen oder Buchstaben genannt werden. Alphabete werden oft mit dem Formelzeichen (Sigma) bezeichnet, seltener wird als Formelzeichen als Abkürzung für Vokabular (englisch vocabulary) benutzt. Sie stellen das Zeicheninventar für Wörter zur Verfügung und bilden damit die Grundlage für formale Sprachen. Man muss unterscheiden zwischen dem Alphabet aus Einzelzeichen und den Wörtern unterschiedlicher Länge, die über diesem Alphabet gebildet werden. (de) In formal language theory, an alphabet is a non-empty set of symbols/glyphs, typically thought of as representing letters, characters, or digits but among other possibilities the "symbols" could also be a set of phonemes (sound units). Alphabets in this technical sense of a set are used in a diverse range of fields including logic, mathematics, computer science, and linguistics. An alphabet may have any cardinality ("size") and depending on its purpose maybe be finite (e.g., the alphabet of letters "a" through "z"), countable (e.g., ), or even uncountable (e.g., ). Strings, also known as "words", over an alphabet are defined as a sequence of the symbols from the alphabet set. For example, the alphabet of lowercase letters "a" through "z" can be used to form English words like "iceberg" while the alphabet of both upper and lower case letters can also be used to form proper names like "Wikipedia". A common alphabet is {0,1}, the binary alphabet, and a "00101111" is an example of a binary string. Infinite sequence of symbols may be considered as well (see Omega language). It is often necessary for practical purposes to restrict the symbols in an alphabet so that they are unambiguous when interpreted. For instance, if the two-member alphabet is {00,0}, a string written on paper as "000" is ambiguous because it is unclear if it is a sequence of three "0" symbols, a "00" followed by a "0", or a "0" followed by a "00". (en) Ένα από τα βασικότερα στοιχεία της θεωρίας της πληροφορίας και της επιστήμης των υπολογιστών είναι το αλφάβητο. (el) En matemáticas, una palabra es una sucesión ordenada de elementos tomados de un conjunto fijo de símbolos denominado alfabeto. Por ejemplo, si X={a,e,i,o,u} es el conjunto alfabeto, todos los siguientes son ejemplos de palabras: * aeo * ioi * aeaeoa * uuuu El número de elementos de una palabra se denomina la longitud de la misma. (es) Nell'ambito dei linguaggi formali, un alfabeto è un insieme finito di elementi, chiamati simboli o caratteri. Esempi di alfabeti sono l'alfabeto binario ({0,1}) e l'alfabeto italiano ({a,b,c,d,e,f,g,h,i,l,m,n,o,p,q,r,s,t,u,v,z}). (it) 形式言語とオートマトンの理論において、アルファベット (英: alphabet) または字母とは、文字や数字などといったような「記号」の有限の集合のこと。有限の文字列は、アルファベットからなる文字の有限の並びである。特に、{0, 1}からなるアルファベットはバイナリアルファベットと呼ばれる。また、二進列 (binary string)は、バイナリアルファベットの並びである。また、うまく処理することで、無限の文字の並びも考えることが可能である。 アルファベットΣが与えられたとき、Σ*はアルファベットΣからなる有限の文字列全てを意味する。ここでの*はクリーネ閉包を意味する演算子である。また、 (or occasionally, or )は、アルファベットΣからなる無限の文字列全てを意味する。 例えばバイナリアルファベット{0, 1}からは{ε, 0, 1, 00, 01, 10, 11, 000, ...}のような文字列が生成できる（εは空文字列を意味する）。 (ja) Inom datavetenskap och matematisk logik kallas en ändlig och icke tom mängd för alfabet när avsikten är att använda den för strängoperationer. Mängdens element kallas då ofta "tecken", exempelvis siffror, bokstäver. Ett vanligt alfabet är till exempel det binära alfabetet {0,1} eller det svenska alfabetet {a, ..., ö, A, ..., Ö}. En ändlig sträng är en ändlig följd (sekvens) av bokstäver från alfabetet - exempelvis är en binär sträng en sekvens av ettor och nollor från alfabetet {0,1}. Även oändliga strängar kan bildas från alfabetet. Om vi har ett alfabet, vanligen betecknat , skriver vi för att betckna mängden av alla ändliga strängar över alfabetet . Här betecknar operatorn , så kallas också till . Man skriver (även eller ) för att beteckna mängden av alla oändliga strängar över . Exempelvis, om vi använder det binära alfabetet {0,1}, ingår alla strängarna ε, 0, 1, 00, 01, 10, 11, 000, etc. i alfabetets Kleenehölje {0,1}* (där ε betecknar den tomma strängen). Alfabeten är viktiga inom formella språk och automatteori. (sv) Em ciência da computação e em lógica matemática, um alfabeto é um conjunto de símbolos, como letras ou dígitos. O alfabeto mais comum é , o alfabeto binário. Uma cadeia finita é uma sequência finita de letras de símbolos de um determinado alfabeto; por exemplo, uma cadeia binária é uma cadeia formada pelo alfabeto binário. Dado um alfabeto , escreve-se para definir o conjunto de todas as cadeias formadas a partir do alfabeto . Neste caso, define o operador fecho de Kleene. Escreve-se (ou, ocasionalmente, ou ) para definir o conjunto de todas as sequências infinitas formadas a partir do alfabeto . Por exemplo, usando o alfabeto binário , as cadeias estariam no fechamento do alfabeto; representa a cadeia vazia. Alfabetos são importantes em linguagens formais, autômatos e semiautômatos. (pt) В інформатиці і математичній логіці, абетка це скінченний набір символів або літер, наприклад букви і цифри. Найбільш вживана абетка це {0,1}, двійкова абетка. Скінченний рядок це скінченна послідовність літер з абетки; наприклад двійковий рядок це рядок утворений з абетки {0,1}. Нескінченні послідовності літер так само можуть бути утворені з елементів будь-якої абетки. Дана абетка , ми пишемо щоб позначити набір всіх скінченних рядків над цією абеткою. Тут, позначає оператор зірка Кліні. Ми пишемо (або іноді, або ) для позначення набору всіх нескінченних послідовностей над абеткою . Наприклад, якщо ми використовуємо двійкову абетку {0,1}, рядки (ε, 0, 1, 00, 01, 10, 11, 000 і т. д.) всі будуть в замиканні Кліні абетки (де ε представляє порожній рядок) Абетки важливі при використанні формальних мов, автоматів і напіватоматів. В більшості випадків, для визначення таких прикладів автоматів як детермінований скінченний автомат, необхідно визначити абетку з якої будується вхідний рядок для автомата. (uk) Алфави́т формального языка — множество атомарных (неделимых) символов какого-либо формального языка (иногда их называют буквами по аналогии с алфавитами естественных языков или символами). Из символов алфавита формального языка строятся слова, а заданием формальной грамматики — допустимые выражения языка. Чаще всего алфавит рассматривается как непустое конечное множество. Например, алфавит лежит в основе азбуки Морзе, алфавит — общепринятый набор символов для представления информации в компьютерах. Нотные знаки, цифры — также примеры конечных алфавитов. В некоторых случаях рассматриваются и бесконечные алфавиты, например, множество натуральных чисел — простейший пример счётного алфавита (при этом натуральные числа могут быть рассмотрены и как слова над конечным алфавитом цифр). Понятие алфавита формального языка широко применяется в лингвистике (в разделах, изучающих формальные грамматики), математической логике (прежде всего — теории моделей), теории автоматов, искусственном интеллекте (в том числе, в компьютерной лингвистике), информатике (в частности, в теории языков программирования). Отдельные теоретические проблемы построения слов и выражений формальных языков над алфавитами исследуются средствами общей алгебры и комбинаторики. (ru) 在计算机科学中，字母表是字符或数字的有限集合。最常见的字母表是二元字母表{0,1}。有限字符串是来自字母表的字符的有限序列；例如二元字符串是来自字母表{0,1}的字符构成的字符串。字符的无限序列也可以用来自一个字母表的元素来构造。 给定一个字母表，我们写来指示在字母表上的所有有限字符串的集合。这里的指示Kleene星号算子。我们写(偶尔或）来指示在字母表上的所有无限序列的集合。 例如，如果我们使用二元字母表{0,1}，则字符串ε, 0, 1, 00, 01, 10, 11, 000等都将在这个字母表的Kleene闭包中（这里的ε表示空串）。 字母表在形式语言、自动机和半自动机理论中相當重要。自动机如确定有限状态自动机（DFA）要求在形式定义中有字母表。 (zh) |
| dbo:wikiPageID | 4292269 (xsd:integer) |
| dbo:wikiPageLength | 5331 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1105394890 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Deterministic_finite_automaton dbr:Algorithm dbc:Combinatorics_on_words dbr:Regular_expression dbr:Introduction_to_Automata_Theory,_Languages,_and_Computation dbr:Omega_language dbr:Empty_string dbr:Glyph dbr:Combinatorics_on_words dbr:Identifier dbr:String_(computer_science) dbr:Symbol_(programming) dbr:C_(programming_language) dbr:Countable dbr:Semiautomaton dbr:Finite_set dbr:Formal_language_theory dbr:Formal_languages dbr:Cardinality dbr:Formal_grammar dbc:Formal_languages dbr:Automata_theory dbr:Phoneme dbr:Sequence dbr:Kleene_star dbr:Character_set dbr:Uncountable dbr:Infinite_sequence dbr:Binary_string |
| dbp:wikiPageUsesTemplate | dbt:ISBN dbt:Reflist dbt:Short_description dbt:Mathematical_logic |
| dcterms:subject | dbc:Combinatorics_on_words dbc:Formal_languages |
| rdf:type | yago:Abstraction100002137 yago:Communication100033020 yago:Language106282651 yago:WikicatFormalLanguages |
| rdfs:comment | Abeceda je v teorii formálních jazyků konečná množina znaků. Většinou se označuje nebo jinými velkými písmeny řecké abecedy. Množina všech konečných řetězců znaků abecedy se označuje a to jsou právě slova nad abecedou . Mezi často využívané abecedy patří dvojková abeceda {0,1} nebo písmena anglické abecedy. (cs) In der Informatik und der mathematischen Logik ist ein Alphabet eine endliche Menge voneinander unterscheidbarer Symbole, die auch Zeichen oder Buchstaben genannt werden. Alphabete werden oft mit dem Formelzeichen (Sigma) bezeichnet, seltener wird als Formelzeichen als Abkürzung für Vokabular (englisch vocabulary) benutzt. Sie stellen das Zeicheninventar für Wörter zur Verfügung und bilden damit die Grundlage für formale Sprachen. Man muss unterscheiden zwischen dem Alphabet aus Einzelzeichen und den Wörtern unterschiedlicher Länge, die über diesem Alphabet gebildet werden. (de) Ένα από τα βασικότερα στοιχεία της θεωρίας της πληροφορίας και της επιστήμης των υπολογιστών είναι το αλφάβητο. (el) En matemáticas, una palabra es una sucesión ordenada de elementos tomados de un conjunto fijo de símbolos denominado alfabeto. Por ejemplo, si X={a,e,i,o,u} es el conjunto alfabeto, todos los siguientes son ejemplos de palabras: * aeo * ioi * aeaeoa * uuuu El número de elementos de una palabra se denomina la longitud de la misma. (es) Nell'ambito dei linguaggi formali, un alfabeto è un insieme finito di elementi, chiamati simboli o caratteri. Esempi di alfabeti sono l'alfabeto binario ({0,1}) e l'alfabeto italiano ({a,b,c,d,e,f,g,h,i,l,m,n,o,p,q,r,s,t,u,v,z}). (it) 形式言語とオートマトンの理論において、アルファベット (英: alphabet) または字母とは、文字や数字などといったような「記号」の有限の集合のこと。有限の文字列は、アルファベットからなる文字の有限の並びである。特に、{0, 1}からなるアルファベットはバイナリアルファベットと呼ばれる。また、二進列 (binary string)は、バイナリアルファベットの並びである。また、うまく処理することで、無限の文字の並びも考えることが可能である。 アルファベットΣが与えられたとき、Σ*はアルファベットΣからなる有限の文字列全てを意味する。ここでの*はクリーネ閉包を意味する演算子である。また、 (or occasionally, or )は、アルファベットΣからなる無限の文字列全てを意味する。 例えばバイナリアルファベット{0, 1}からは{ε, 0, 1, 00, 01, 10, 11, 000, ...}のような文字列が生成できる（εは空文字列を意味する）。 (ja) 在计算机科学中，字母表是字符或数字的有限集合。最常见的字母表是二元字母表{0,1}。有限字符串是来自字母表的字符的有限序列；例如二元字符串是来自字母表{0,1}的字符构成的字符串。字符的无限序列也可以用来自一个字母表的元素来构造。 给定一个字母表，我们写来指示在字母表上的所有有限字符串的集合。这里的指示Kleene星号算子。我们写(偶尔或）来指示在字母表上的所有无限序列的集合。 例如，如果我们使用二元字母表{0,1}，则字符串ε, 0, 1, 00, 01, 10, 11, 000等都将在这个字母表的Kleene闭包中（这里的ε表示空串）。 字母表在形式语言、自动机和半自动机理论中相當重要。自动机如确定有限状态自动机（DFA）要求在形式定义中有字母表。 (zh) In formal language theory, an alphabet is a non-empty set of symbols/glyphs, typically thought of as representing letters, characters, or digits but among other possibilities the "symbols" could also be a set of phonemes (sound units). Alphabets in this technical sense of a set are used in a diverse range of fields including logic, mathematics, computer science, and linguistics. An alphabet may have any cardinality ("size") and depending on its purpose maybe be finite (e.g., the alphabet of letters "a" through "z"), countable (e.g., ), or even uncountable (e.g., ). (en) Em ciência da computação e em lógica matemática, um alfabeto é um conjunto de símbolos, como letras ou dígitos. O alfabeto mais comum é , o alfabeto binário. Uma cadeia finita é uma sequência finita de letras de símbolos de um determinado alfabeto; por exemplo, uma cadeia binária é uma cadeia formada pelo alfabeto binário. Por exemplo, usando o alfabeto binário , as cadeias estariam no fechamento do alfabeto; representa a cadeia vazia. Alfabetos são importantes em linguagens formais, autômatos e semiautômatos. (pt) Inom datavetenskap och matematisk logik kallas en ändlig och icke tom mängd för alfabet när avsikten är att använda den för strängoperationer. Mängdens element kallas då ofta "tecken", exempelvis siffror, bokstäver. Ett vanligt alfabet är till exempel det binära alfabetet {0,1} eller det svenska alfabetet {a, ..., ö, A, ..., Ö}. En ändlig sträng är en ändlig följd (sekvens) av bokstäver från alfabetet - exempelvis är en binär sträng en sekvens av ettor och nollor från alfabetet {0,1}. Även oändliga strängar kan bildas från alfabetet. Alfabeten är viktiga inom formella språk och automatteori. (sv) Алфави́т формального языка — множество атомарных (неделимых) символов какого-либо формального языка (иногда их называют буквами по аналогии с алфавитами естественных языков или символами). Из символов алфавита формального языка строятся слова, а заданием формальной грамматики — допустимые выражения языка. (ru) В інформатиці і математичній логіці, абетка це скінченний набір символів або літер, наприклад букви і цифри. Найбільш вживана абетка це {0,1}, двійкова абетка. Скінченний рядок це скінченна послідовність літер з абетки; наприклад двійковий рядок це рядок утворений з абетки {0,1}. Нескінченні послідовності літер так само можуть бути утворені з елементів будь-якої абетки. Дана абетка , ми пишемо щоб позначити набір всіх скінченних рядків над цією абеткою. Тут, позначає оператор зірка Кліні. Ми пишемо (або іноді, або ) для позначення набору всіх нескінченних послідовностей над абеткою . (uk) |
| rdfs:label | Abeceda (formální jazyky) (cs) Alphabet (Informatik) (de) Αλφάβητο (μαθηματικά) (el) Alphabet (formal languages) (en) Palabra (matemáticas) (es) Alfabeto (teoria dei linguaggi formali) (it) アルファベット (計算機科学) (ja) Alfabeto (ciência da computação) (pt) Алфавит (формальный язык) (ru) Alfabet (matematik) (sv) 字母表 (计算机科学) (zh) Абетка (інформатика) (uk) |
| owl:sameAs | freebase:Alphabet (formal languages) yago-res:Alphabet (formal languages) wikidata:Alphabet (formal languages) http://bs.dbpedia.org/resource/Abeceda_(računarstvo) dbpedia-cs:Alphabet (formal languages) dbpedia-de:Alphabet (formal languages) dbpedia-el:Alphabet (formal languages) dbpedia-es:Alphabet (formal languages) dbpedia-fa:Alphabet (formal languages) dbpedia-fi:Alphabet (formal languages) dbpedia-he:Alphabet (formal languages) http://hi.dbpedia.org/resource/वर्णमाला_(संगणन) dbpedia-hr:Alphabet (formal languages) dbpedia-hu:Alphabet (formal languages) dbpedia-it:Alphabet (formal languages) dbpedia-ja:Alphabet (formal languages) dbpedia-mk:Alphabet (formal languages) dbpedia-no:Alphabet (formal languages) dbpedia-pt:Alphabet (formal languages) dbpedia-ro:Alphabet (formal languages) dbpedia-ru:Alphabet (formal languages) dbpedia-sh:Alphabet (formal languages) dbpedia-simple:Alphabet (formal languages) dbpedia-sk:Alphabet (formal languages) dbpedia-sr:Alphabet (formal languages) dbpedia-sv:Alphabet (formal languages) dbpedia-th:Alphabet (formal languages) dbpedia-uk:Alphabet (formal languages) dbpedia-zh:Alphabet (formal languages) https://global.dbpedia.org/id/4zVu5 |
| prov:wasDerivedFrom | wikipedia-en:Alphabet_(formal_languages)?oldid=1105394890&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Alphabet_(formal_languages) |
| is dbo:wikiPageDisambiguates of | dbr:Alphabet_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Alphabet_(computer_science) dbr:Character_alphabet dbr:Alphabet_(mathematics) dbr:Input_symbol |
| is dbo:wikiPageWikiLink of | dbr:N-ary dbr:Profinite_word dbr:Boyer–Moore–Horspool_algorithm dbr:Algorithmic_Combinatorics_on_Partial_Words dbr:Cyclic_language dbr:Variety_of_finite_semigroups dbr:Indexed_grammar dbr:Parikh's_theorem dbr:Timed_word dbr:LR_parser dbr:Alphabet_(computer_science) dbr:Alphabet_(disambiguation) dbr:Lexicographic_order dbr:Suffix_automaton dbr:Complexity_class dbr:Complexity_function dbr:String_(computer_science) dbr:Theory_of_computation dbr:Trie dbr:Davenport–Schinzel_Sequences_and_Their_Geometric_Applications dbr:Linear_temporal_logic dbr:Erdős–Ko–Rado_theorem dbr:Fibonacci_word dbr:Formal_power_series dbr:Binary_alphabet dbr:Formal_language dbr:Graham–Rothschild_theorem dbr:Projection_(relational_algebra) dbr:Regular_language dbr:JSFuck dbr:Autocorrelation_(words) dbr:Free_monoid dbr:Channel_capacity dbr:Turing_machine dbr:Unambiguous_finite_automaton dbr:Unavoidable_pattern dbr:Universal_Turing_machine dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:Character_alphabet dbr:Rational_series dbr:Signal_(model_checking) dbr:SQUOZE dbr:Parameter_word dbr:Alphabet_(mathematics) dbr:Input_symbol |
| is rdfs:seeAlso of | dbr:First-order_logic |
| is foaf:primaryTopic of | wikipedia-en:Alphabet_(formal_languages) |