This HTML5 document contains 97 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n25http://www.lfcs.inf.ed.ac.uk/reports/89/ECS-LFCS-89-85/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n18https://global.dbpedia.org/id/
n26http://dkeenan.com/Lambda/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-hrhttp://hr.dbpedia.org/resource/
n20http://www.angelfire.com/tx4/cus/combinator/
n21https://web.archive.org/web/20081029051502/http:/cstein.kings.cam.ac.uk/~chris/
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n23http://people.cs.uchicago.edu/~odonnell/Teacher/Lectures/Formal_Organization_of_Knowledge/Examples/combinator_calculus/
n11https://web.archive.org/web/20131014210033/http:/www.urbit.org/2013/08/22/
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:List_of_functional_programming_topics
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
Subject Item
dbr:Unlambda
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
Subject Item
dbr:Combinatory_logic
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
Subject Item
dbr:Monad_(functional_programming)
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
Subject Item
dbr:To_Mock_a_Mockingbird
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
Subject Item
dbr:Iota_and_Jot
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
Subject Item
dbr:Lambda_calculus
rdfs:seeAlso
dbr:SKI_combinator_calculus
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
Subject Item
dbr:Binary_combinatory_logic
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
Subject Item
dbr:Coders_at_Work
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
Subject Item
dbr:B,_C,_K,_W_system
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
Subject Item
dbr:Categorical_abstract_machine
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
Subject Item
dbr:SKI_combinator_calculus
rdfs:label
SKIコンビネータ計算 SKI组合子演算 Combinadores SKI SKI combinator calculus
rdfs:comment
SKI组合子演算是一个计算系统，它是对无类型版本的Lambda演算的简约。这个系统声称在Lambda演算中所有运算都可以用三个组合子S、K和I来表达。 在这个系统中的所有函数可以只使用S、K、I的字母表和圆括号（分组符号）来表达。通常假定组合子是左结合的，从而在不影响执行次序的情况下精简表达式中的圆括号。 The SKI combinator calculus is a combinatory logic system and a computational system. It can be thought of as a computer programming language, though it is not convenient for writing software. Instead, it is important in the mathematical theory of algorithms because it is an extremely simple Turing complete language. It can be likened to a reduced version of the untyped lambda calculus. It was introduced by Moses Schönfinkel and Haskell Curry. Os combinadores SKI são um modelo computacional que pode ser percebido como uma versão reduzida do cálculo lambda não tipado. Ele pode ser pensado como uma linguagem de programação de computador, apesar de não ser útil para escrever software. Em vez disso, é importante na teoria matemática de algoritmos porque é uma linguagem Turing completa e extremamente simples. SKIコンビネータ計算は型無しラムダ計算を単純化した、ひとつの計算モデルである。このモデルは、ある種のプログラミング言語と考えることができるが、人間によるソースコードの記述には適さない（難解プログラミング言語には時折採用される）。その代わり、このモデルは非常に単純なチューリング完全な言語であるため、アルゴリズムの数学理論においては重要である。また関数型言語を実行する抽象機械のモデルとして使っている例もある。 ラムダ計算におけるあらゆる演算は、SKIにおいて3つの定数記号S, KおよびI（これらをコンビネータと呼ぶ）および変数記号によって表現できる。2引数の関数適用演算のみを持つ形式言語の構文木と考えれば、定数記号と変数記号を葉とする二分木と捉えることもできる。 実際には、 I はモデルを簡単にするために導入されたものであり、SKIシステムを展開するにはSとKの2つで十分である。
dct:subject
dbc:Lambda_calculus dbc:Combinatory_logic
dbo:wikiPageID
1232841
dbo:wikiPageRevisionID
1114228209
dbo:wikiPageWikiLink
dbr:Recursion dbr:Peirce's_law dbr:Turing_complete dbr:Unlambda dbr:Fixed_point_combinator dbr:Algorithm dbr:Law_of_excluded_middle dbr:Moses_Schönfinkel dbr:Modus_ponens dbr:Sentential_logic dbr:Curry–Howard_isomorphism dbr:Functional_programming dbc:Lambda_calculus dbr:Intuitionistic_logic dbr:Haskell_Curry dbr:Binary_tree dbr:Classical_logic dbr:Implicational_propositional_calculus dbr:Model_of_computation dbr:To_Mock_a_Mockingbird dbr:Graph_reduction dbc:Combinatory_logic dbr:Combinatory_logic dbr:Iota_and_Jot dbr:Boolean_logic dbr:B,_C,_K,_W_system dbr:Lambda_calculus dbr:Syntactic_sugar
dbo:wikiPageExternalLink
n11:Chapter-2-nock.html n20:birds.html n21:combinators.html n23: n25: n26:index.htm
owl:sameAs
wikidata:Q857813 freebase:m.04kn35 dbpedia-pt:Combinadores_SKI dbpedia-zh:SKI组合子演算 n18:51UNx dbpedia-ja:SKIコンビネータ計算 dbpedia-hr:SKI_kombinatorni_račun
dbp:wikiPageUsesTemplate
dbt:Mvar dbt:Math dbt:Nobold dbt:Short_description dbt:Refend dbt:Reflist dbt:Refbegin dbt:Cite_book
dbo:abstract
The SKI combinator calculus is a combinatory logic system and a computational system. It can be thought of as a computer programming language, though it is not convenient for writing software. Instead, it is important in the mathematical theory of algorithms because it is an extremely simple Turing complete language. It can be likened to a reduced version of the untyped lambda calculus. It was introduced by Moses Schönfinkel and Haskell Curry. All operations in lambda calculus can be encoded via abstraction elimination into the SKI calculus as binary trees whose leaves are one of the three symbols S, K, and I (called combinators). Os combinadores SKI são um modelo computacional que pode ser percebido como uma versão reduzida do cálculo lambda não tipado. Ele pode ser pensado como uma linguagem de programação de computador, apesar de não ser útil para escrever software. Em vez disso, é importante na teoria matemática de algoritmos porque é uma linguagem Turing completa e extremamente simples. Todas as operações em cálculo lambda são expressas em SKI como árvores binárias, cujas folhas são um dos três símbolos S, K e I (chamados de combinadores). Na verdade, o símbolo I está incluído apenas por conveniência, pois os outros dois são suficiente para todos os efeitos do sistema SKI. Embora a representação mais formal dos objetos neste sistema exija árvores binárias, são representados geralmente, por typesetability, como expressões entre parênteses, quer com todas as subárvores entre parênteses, ou apenas os do lado direito das subárvores entre parênteses. Assim, a árvore cuja esquerda subárvore é a árvore KS e cuja subárvore direita é a árvore SK, normalmente é digitada como ((KS) (SK)), ou mais simplesmente como KS (SK), em vez de ser totalmente desenhado como uma árvore (como a formalidade e a legibilidade exigiria). SKI组合子演算是一个计算系统，它是对无类型版本的Lambda演算的简约。这个系统声称在Lambda演算中所有运算都可以用三个组合子S、K和I来表达。 在这个系统中的所有函数可以只使用S、K、I的字母表和圆括号（分组符号）来表达。通常假定组合子是左结合的，从而在不影响执行次序的情况下精简表达式中的圆括号。 SKIコンビネータ計算は型無しラムダ計算を単純化した、ひとつの計算モデルである。このモデルは、ある種のプログラミング言語と考えることができるが、人間によるソースコードの記述には適さない（難解プログラミング言語には時折採用される）。その代わり、このモデルは非常に単純なチューリング完全な言語であるため、アルゴリズムの数学理論においては重要である。また関数型言語を実行する抽象機械のモデルとして使っている例もある。 ラムダ計算におけるあらゆる演算は、SKIにおいて3つの定数記号S, KおよびI（これらをコンビネータと呼ぶ）および変数記号によって表現できる。2引数の関数適用演算のみを持つ形式言語の構文木と考えれば、定数記号と変数記号を葉とする二分木と捉えることもできる。 実際には、 I はモデルを簡単にするために導入されたものであり、SKIシステムを展開するにはSとKの2つで十分である。
gold:hypernym
dbr:System
prov:wasDerivedFrom
wikipedia-en:SKI_combinator_calculus?oldid=1114228209&ns=0
dbo:wikiPageLength
15465
foaf:isPrimaryTopicOf
wikipedia-en:SKI_combinator_calculus
Subject Item
dbr:Ski_(disambiguation)
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
dbo:wikiPageDisambiguates
dbr:SKI_combinator_calculus
Subject Item
dbr:Fixed-point_combinator
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
Subject Item
dbr:SKI-calculus
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
dbo:wikiPageRedirects
dbr:SKI_combinator_calculus
Subject Item
dbr:SKI_calculus
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
dbo:wikiPageRedirects
dbr:SKI_combinator_calculus
Subject Item
dbr:SKI_combinator
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
dbo:wikiPageRedirects
dbr:SKI_combinator_calculus
Subject Item
dbr:SK_calculus
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
dbo:wikiPageRedirects
dbr:SKI_combinator_calculus
Subject Item
dbr:SK_combinator_calculus
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
dbo:wikiPageRedirects
dbr:SKI_combinator_calculus
Subject Item
dbr:Ski_combinators
dbo:wikiPageWikiLink
dbr:SKI_combinator_calculus
dbo:wikiPageRedirects
dbr:SKI_combinator_calculus
Subject Item
wikipedia-en:SKI_combinator_calculus
foaf:primaryTopic
dbr:SKI_combinator_calculus