About: Insertion-Deletion Systems with Substitutions I

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Insertion-Deletion Systems with Substitutions I Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
has title	Insertion-Deletion Systems with Substitutions I
Creator	Fernau, Henning Vu, Martin
Source	PMC
abstract	With good biological motivation, we add substitutions as a further type of operations to (in particular, context-free) insertion-deletion systems. This way, we obtain new characterizations of and normal forms for context-sensitive and recursively enumerable languages.
has issue date	2020-06-24(xsd:dateTime)
bibo:doi	10.1007/978-3-030-51466-2_33
has license	no-cc
sha1sum (hex)	4855e15d1e3ad9bbfcba4f1d857a2cb929e9fe54
schema:url	https://doi.org/10.1007/978-3-030-51466-2_33
resource representing a document's title	Insertion-Deletion Systems with Substitutions I
has PubMed Central identifier	PMC7309486
schema:publication	Beyond the Horizon of Computability
resource representing a document's body	covid:4855e15d1e3ad9bbfcba4f1d857a2cb929e9fe54#body_text
is schema:about of	named entity 'recursively enumerable' named entity 'context-sensitive' named entity '6-tuple' named entity '5-tuple' named entity 'context-free' named entity 'strings' named entity 'tuple' named entity 'proper subset' named entity 'tuple' named entity 'nonterminals' named entity 'open question' named entity 'recursively enumerable' named entity 'terminal symbol' named entity 'A minor' named entity 'DEL' named entity 'DEL' named entity 'triples' named entity 'concatenation' named entity 'axiom' named entity 'axiom' named entity 'context-sensitive language' named entity 'context-sensitive languages' named entity 'recursively enumerable' named entity 'computational power' named entity 'DEL' named entity 'substring' named entity 'open question' named entity 'tuple' named entity 'linear bounded automaton' named entity 'bbw' named entity 'axiom' named entity 'context-free' named entity 'context-free' named entity 'nonterminals' named entity 'DEL' named entity 'context-free' named entity 'context-free' named entity 'DEL' named entity 'pseudo-terminals' named entity 'nonterminals' named entity 'DEL' named entity 'rewriting rule' named entity 'nonterminals' named entity 'context-free' named entity 'DEL' named entity 'sentential form' named entity 'DEL' named entity 'context-free' named entity 'language generated' named entity 'computational power' named entity 'sentential form' named entity 'computational power' named entity 'nonterminal' named entity 'nonterminal' named entity 'Formal Languages' named entity 'DEL' named entity 'Proposition 1' named entity 'DEL' named entity 'nonterminal' named entity 'increase in computational power' named entity 'formally defined' named entity 'DEL' named entity 'concatenation' named entity 'linear bounded automaton' named entity 'context-free' named entity 'context-free' named entity 'DEL' named entity 'DEL' named entity 'iff' named entity 'minor details' named entity 'u 1' named entity 'context-sensitive languages' named entity 'context-free' named entity 'axiom' named entity 'Chomsky grammars' named entity 'context-free' named entity 'nonterminal' named entity 'strings' named entity 'one-to-one' named entity 'nonterminal' named entity 'context-free' named entity 'linear bounded automaton'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software