Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Decider (Turing machine)
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Turing machine that always halts for any input
Property
Value
dbo:
description
maŝino de Turing, kiu ĉiam haltos por ĉiu ajn enigaĵo
(eo)
Turing machine that always halts for any input
(en)
màquina de Turing que s'atura per tota entrada
(ca)
任意の入力に対して常に停止するチューリング機械
(ja)
dbo:
wikiPageExternalLink
https://www.researchgate.net/profile/Albert_Meyer/publication/234810406_The_complexity_of_loop_programs/links/00b49517fb0c8b6a2a000000.pdf
dbo:
wikiPageWikiLink
dbr
:Total_functional_programming
dbr
:Soundness
dbr
:First-order_logic
dbc
:Turing_machine
dbr
:Recursive_language
dbr
:Control_flow
dbr
:Toy_programming_language
dbr
:Gödel's_incompleteness_theorems
dbr
:Dexter_Kozen
dbr
:Goodstein_sequence
dbr
:Termination_analysis
dbr
:Formal_language
dbr
:Halting_problem
dbr
:Arithmetical_hierarchy
dbr
:Computability_theory
dbr
:Albert_R._Meyer
dbr
:Infinite_loop
dbr
:Lawrence_Landweber
dbr
:Michael_Sipser
dbr
:BASIC
dbr
:Dennis_Ritchie
dbr
:Ackermann_function
dbr
:Well-order
dbr
:Kleene's_recursion_theorem
dbr
:Introduction_to_the_Theory_of_Computation
dbr
:Undecidable_problem
dbr
:Turing_machine
dbr
:Decision_tree
dbr
:BlooP_and_FlooP
dbr
:Recursively_enumerable
dbr
:Decision_problem
dbr
:Peano_arithmetic
dbr
:Term_rewriting
dbr
:Consistent
dbr
:Total_function
dbr
:Primitive_recursive_functions
dbr
:Partial_functions
dbr
:Total_recursive_function
dbp:
wikiPageUsesTemplate
dbt
:Formal_languages_and_grammars
dbt
:Clarify_span
dbt
:See_also
dbt
:Turing
dbt
:Val
dbt
:Mvar
dbt
:Math_theorem
dbt
:Main_article
dbt
:Tmath
dbt
:Short_description
dct:
subject
dbc
:Turing_machine
rdfs:
label
Decider (Turing machine)
(en)
Màquina que sempre s'atura
(ca)
Macchina che termina sempre
(it)
Máquina de Turing que sempre para
(pt)
判定器
(zh)
rdfs:
seeAlso
dbr
:Termination_analysis
owl:
sameAs
wikidata
:Decider (Turing machine)
dbpedia-it
:Decider (Turing machine)
dbpedia-zh
:Decider (Turing machine)
dbpedia-pt
:Decider (Turing machine)
dbpedia-fa
:Decider (Turing machine)
dbpedia-ca
:Decider (Turing machine)
dbpedia-hr
:Decider (Turing machine)
dbpedia-sr
:Decider (Turing machine)
dbpedia-global
:Decider (Turing machine)
prov:
wasDerivedFrom
wikipedia-en
:Decider_(Turing_machine)?oldid=1174830521&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Decider_(Turing_machine)
is
dbo:
wikiPageDisambiguates
of
dbr
:Decider
is
dbo:
wikiPageRedirects
of
dbr
:Total_Turing_machine
dbr
:Total_Turing_machine
dbr
:Machine_that_always_halts
dbr
:Decider_(computability_theory)
dbr
:Decider_Turing_machine
dbr
:Machines_that_always_halt
is
dbo:
wikiPageWikiLink
of
dbr
:Decider
dbr
:Total_Turing_machine
dbr
:Machine_that_always_halts
dbr
:Decider_(computability_theory)
dbr
:Decider_Turing_machine
dbr
:Machines_that_always_halt
is
rdfs:
seeAlso
of
dbr
:Computable_function
is
foaf:
primaryTopic
of
wikipedia-en
:Decider_(Turing_machine)
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International