| http://dbpedia.org/ontology/abstract
|
Der vom russischen Mathematiker Andrei Mar … Der vom russischen Mathematiker Andrei Markow entwickelte Markow-Algorithmus stellt einen wichtigen Ansatz zur Formalisierung des Algorithmusbegriffs dar. Besonders Aufgaben der symbolischen Datenverarbeitung, beispielsweise die Konjugation und Deklination natürlicher Sprachen, lassen sich mit seiner Hilfe sehr effizient lösen.ich mit seiner Hilfe sehr effizient lösen.
, 马尔可夫算法是使用类似形式文法的规则在符号串上操作的。马尔可夫算法被证明是图灵完全的，这意味着它们适合作为一般的计算模型，并可以用它的简单概念表示任何数学表达式。 是基于马尔可夫算法的编程语言。
, Нормальні алгоритми Маркова (нормальні алг … Нормальні алгоритми Маркова (нормальні алгорифми) — формалізація поняття алгоритму, що є системою послідовних застосувань підстановок до слів певного алфавіту, введена математиком А. А. Марковим у 1956-му році. Доведено, що нормальні алгоритми повні за Тюрінгом, тобто можуть описувати всі алгоритми, що можуть виконуватись будь-яким комп'ютером.можуть виконуватись будь-яким комп'ютером.
, In logica matematica, un algoritmo di Markov è un sistema di riscrittura di stringhe che si basa su regole analoghe a quelle grammaticali. È stato dimostrato che questi algoritmi sono Turing completi.
, マルコフアルゴリズム（英: Markov algorithm）とは、記号の文字列に対して一種の文法的規則を適用していく文字列書き換え系である。マルコフアルゴリズムはチューリング完全であることがわかっており、計算の汎用モデルとして使え、任意の数式を単純な記法で表現できる。 考案者のは、マルコフ連鎖のアンドレイ・マルコフの息子である。 マルコフアルゴリズムに基づいた関数型プログラミング言語としてRefalがある。
, In theoretical computer science, a Markov … In theoretical computer science, a Markov algorithm is a string rewriting system that uses grammar-like rules to operate on strings of symbols. Markov algorithms have been shown to be Turing-complete, which means that they are suitable as a general model of computation and can represent any mathematical expression from its simple notation. Markov algorithms are named after the Soviet mathematician Andrey Markov, Jr. Refal is a programming language based on Markov algorithms.mming language based on Markov algorithms.
, Норма́льный алгори́тм (алгори́фм) Ма́ркова … Норма́льный алгори́тм (алгори́фм) Ма́ркова (НАМ, также марковский алгоритм) — один из стандартных способов формального определения понятия алгоритма (другой известный способ — машина Тьюринга). Понятие нормального алгоритма введено А. А. Марковым (младшим) в конце 1940-х годов в работах по неразрешимости некоторых проблем теории ассоциативных вычислений. Традиционное написание и произношение слова «алгорифм» в этом термине также восходит к его автору, многие годы читавшему курс математической логики на механико-математическом факультете МГУ. Нормальный алгоритм описывает метод переписывания строк, похожий по способу задания на формальные грамматики. НАМ — полный по Тьюрингу язык, что делает его по выразительной силе эквивалентным машине Тьюринга и, следовательно, современным языкам программирования. На основе НАМ был создан функциональный язык программирования Рефал.ункциональный язык программирования Рефал.
, En informatique théorique, un algorithme d … En informatique théorique, un algorithme de Markov est un système de réécriture de chaîne qui utilise des règles de grammaire pour agir sur une chaîne de symboles. Il a été démontré que les algorithmes de Markov étaient Turing-complets, ce qui signifie qu'ils constituent un modèle de calcul suffisamment général. Les algorithmes de Markov ont été nommées d'après le mathématicien Andreï Markov. est un langage de programmation basé sur les algorithmes de Markov.mation basé sur les algorithmes de Markov.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://yad-studio.github.io/ +
, http://sourceforge.net/projects/markov +
, http://rosettacode.org/wiki/Execute_a_Markov_algorithm +
, https://web.archive.org/web/20060217113205/http:/nic-nac-project.de/~jcm/index.php%3Fnav=projects +
|
| http://dbpedia.org/ontology/wikiPageID
|
198156
|
| http://dbpedia.org/ontology/wikiPageLength
|
7845
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1094288601
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Computation +
, http://dbpedia.org/resource/Mathematical_expression +
, http://dbpedia.org/resource/Andrey_Markov%2C_Jr. +
, http://dbpedia.org/resource/Category:Theory_of_computation +
, http://dbpedia.org/resource/Programming_language +
, http://dbpedia.org/resource/Refal +
, http://dbpedia.org/resource/Category:Rewriting_systems +
, http://dbpedia.org/resource/Category:Models_of_computation +
, http://dbpedia.org/resource/Formal_grammar +
, http://dbpedia.org/resource/String_rewriting_system +
, http://dbpedia.org/resource/Constructive_mathematics +
, http://dbpedia.org/resource/Turing-complete +
, http://dbpedia.org/resource/Andrey_Markov_%28Soviet_mathematician%29 +
, http://dbpedia.org/resource/Turing_machine +
, http://dbpedia.org/resource/Thue_%28programming_language%29 +
, http://dbpedia.org/resource/String_%28computer_science%29 +
, http://dbpedia.org/resource/Theoretical_computer_science +
, http://dbpedia.org/resource/Church-Turing_thesis +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Snd +
, http://dbpedia.org/resource/Template:No_footnotes +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Rewriting_systems +
, http://dbpedia.org/resource/Category:Theory_of_computation +
, http://dbpedia.org/resource/Category:Models_of_computation +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/String +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Markov_algorithm?oldid=1094288601&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Markov_algorithm +
|
| owl:sameAs |
http://fr.dbpedia.org/resource/Algorithme_de_Markov +
, http://www.wikidata.org/entity/Q1900936 +
, http://it.dbpedia.org/resource/Algoritmo_di_Markov +
, http://zh.dbpedia.org/resource/%E9%A9%AC%E5%B0%94%E5%8F%AF%E5%A4%AB%E7%AE%97%E6%B3%95 +
, http://ja.dbpedia.org/resource/%E3%83%9E%E3%83%AB%E3%82%B3%E3%83%95%E3%82%A2%E3%83%AB%E3%82%B4%E3%83%AA%E3%82%BA%E3%83%A0 +
, http://ru.dbpedia.org/resource/%D0%9D%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B9_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC +
, http://yago-knowledge.org/resource/Markov_algorithm +
, http://dbpedia.org/resource/Markov_algorithm +
, http://pt.dbpedia.org/resource/Algoritmo_de_Markov +
, http://de.dbpedia.org/resource/Markow-Algorithmus +
, http://fa.dbpedia.org/resource/%D8%A7%D9%84%DA%AF%D9%88%D8%B1%DB%8C%D8%AA%D9%85_%D9%85%D8%A7%D8%B1%DA%A9%D9%88%D9%81 +
, http://rdf.freebase.com/ns/m.01c4s6 +
, https://global.dbpedia.org/id/pmYQ +
, http://uk.dbpedia.org/resource/%D0%9D%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%96_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D0%B8 +
|
| rdf:type |
http://dbpedia.org/class/yago/Assistant109815790 +
, http://dbpedia.org/class/yago/Worker109632518 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/WikicatModelsOfComputation +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/class/yago/Model110324560 +
, http://dbpedia.org/ontology/Island +
|
| rdfs:comment |
マルコフアルゴリズム（英: Markov algorithm）とは、記号の文字列に対して一種の文法的規則を適用していく文字列書き換え系である。マルコフアルゴリズムはチューリング完全であることがわかっており、計算の汎用モデルとして使え、任意の数式を単純な記法で表現できる。 考案者のは、マルコフ連鎖のアンドレイ・マルコフの息子である。 マルコフアルゴリズムに基づいた関数型プログラミング言語としてRefalがある。
, Der vom russischen Mathematiker Andrei Mar … Der vom russischen Mathematiker Andrei Markow entwickelte Markow-Algorithmus stellt einen wichtigen Ansatz zur Formalisierung des Algorithmusbegriffs dar. Besonders Aufgaben der symbolischen Datenverarbeitung, beispielsweise die Konjugation und Deklination natürlicher Sprachen, lassen sich mit seiner Hilfe sehr effizient lösen.ich mit seiner Hilfe sehr effizient lösen.
, 马尔可夫算法是使用类似形式文法的规则在符号串上操作的。马尔可夫算法被证明是图灵完全的，这意味着它们适合作为一般的计算模型，并可以用它的简单概念表示任何数学表达式。 是基于马尔可夫算法的编程语言。
, In theoretical computer science, a Markov … In theoretical computer science, a Markov algorithm is a string rewriting system that uses grammar-like rules to operate on strings of symbols. Markov algorithms have been shown to be Turing-complete, which means that they are suitable as a general model of computation and can represent any mathematical expression from its simple notation. Markov algorithms are named after the Soviet mathematician Andrey Markov, Jr. Refal is a programming language based on Markov algorithms.mming language based on Markov algorithms.
, Нормальні алгоритми Маркова (нормальні алг … Нормальні алгоритми Маркова (нормальні алгорифми) — формалізація поняття алгоритму, що є системою послідовних застосувань підстановок до слів певного алфавіту, введена математиком А. А. Марковим у 1956-му році. Доведено, що нормальні алгоритми повні за Тюрінгом, тобто можуть описувати всі алгоритми, що можуть виконуватись будь-яким комп'ютером.можуть виконуватись будь-яким комп'ютером.
, Норма́льный алгори́тм (алгори́фм) Ма́ркова … Норма́льный алгори́тм (алгори́фм) Ма́ркова (НАМ, также марковский алгоритм) — один из стандартных способов формального определения понятия алгоритма (другой известный способ — машина Тьюринга). Понятие нормального алгоритма введено А. А. Марковым (младшим) в конце 1940-х годов в работах по неразрешимости некоторых проблем теории ассоциативных вычислений. Традиционное написание и произношение слова «алгорифм» в этом термине также восходит к его автору, многие годы читавшему курс математической логики на механико-математическом факультете МГУ.на механико-математическом факультете МГУ.
, En informatique théorique, un algorithme d … En informatique théorique, un algorithme de Markov est un système de réécriture de chaîne qui utilise des règles de grammaire pour agir sur une chaîne de symboles. Il a été démontré que les algorithmes de Markov étaient Turing-complets, ce qui signifie qu'ils constituent un modèle de calcul suffisamment général. Les algorithmes de Markov ont été nommées d'après le mathématicien Andreï Markov. est un langage de programmation basé sur les algorithmes de Markov.mation basé sur les algorithmes de Markov.
, In logica matematica, un algoritmo di Markov è un sistema di riscrittura di stringhe che si basa su regole analoghe a quelle grammaticali. È stato dimostrato che questi algoritmi sono Turing completi.
|
| rdfs:label |
Algoritmo de Markov
, Algorithme de Markov
, マルコフアルゴリズム
, Markov algorithm
, Markow-Algorithmus
, Нормальні алгоритми
, Нормальный алгоритм
, 马尔可夫算法
, Algoritmo di Markov
|
