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:
Emptiness problem
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Decision problem in formal language theory
Property
Value
dbo:
description
decision problem in formal language theory
(en)
Entscheidungsproblem in der theoretischen Informatik
(de)
dbo:
wikiPageWikiLink
dbc
:Polynomial-time_problems
dbc
:PSPACE-complete_problems
dbr
:Big_O_notation
dbc
:Undecidable_problems
dbr
:Halting_problem
dbc
:Formal_languages
dbr
:Theoretical_computer_science
dbr
:Context-free_grammar
dbr
:Context-sensitive_grammar
dbr
:PSPACE-complete
dbr
:Empty_set
dbr
:Undecidable_problem
dbr
:Decision_problem
dbr
:Formal_language_theory
dbr
:Finite-state_automaton
dbr
:Stack_automaton
dbp:
wikiPageUsesTemplate
dbt
:Reflist
dbt
:Comp-sci-stub
dct:
subject
dbc
:Polynomial-time_problems
dbc
:PSPACE-complete_problems
dbc
:Undecidable_problems
dbc
:Formal_languages
rdfs:
label
Emptiness problem
(en)
Leerheitsproblem
(de)
owl:
sameAs
wikidata
:Emptiness problem
dbpedia-de
:Emptiness problem
dbpedia-global
:Emptiness problem
prov:
wasDerivedFrom
wikipedia-en
:Emptiness_problem?oldid=1189904994&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Emptiness_problem
is
dbo:
wikiPageRedirects
of
dbr
:Emptiness_(regular_languages)
is
dbo:
wikiPageWikiLink
of
dbr
:Context-free_grammar
dbr
:Context-sensitive_grammar
dbr
:List_of_PSPACE-complete_problems
dbr
:Patricia_Bouyer-Decitre
dbr
:Intersection_non-emptiness_problem
dbr
:Emptiness_(regular_languages)
is
foaf:
primaryTopic
of
wikipedia-en
:Emptiness_problem
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International