About: On the Complexity of Reductions by Restarting Automata.

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

About: On the Complexity of Reductions by Restarting Automata. Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	The paper provides linguistic observations as a motivation for a formal study of analysis by reduction (AR). It concentrates on a study of the whole mechanism through a class of restarting automata with meta-instructions using pebbles, delete, and shift operations (DS-automata). The complexity of DS-automata is naturally measured by the number of deletions, and the number of word order shifts used in a single meta-instruction. We study reduction languages, backward correctness preserving AR, correctness preserving AR, and show unbounded hierarchies (scales) for various classes of reduction languages by the same finite witness languages. The scales make it possible to estimate relevant complexity issues of analysis by reduction for natural languages. The paper provides linguistic observations as a motivation for a formal study of analysis by reduction (AR). It concentrates on a study of the whole mechanism through a class of restarting automata with meta-instructions using pebbles, delete, and shift operations (DS-automata). The complexity of DS-automata is naturally measured by the number of deletions, and the number of word order shifts used in a single meta-instruction. We study reduction languages, backward correctness preserving AR, correctness preserving AR, and show unbounded hierarchies (scales) for various classes of reduction languages by the same finite witness languages. The scales make it possible to estimate relevant complexity issues of analysis by reduction for natural languages. (en)
Title	On the Complexity of Reductions by Restarting Automata. On the Complexity of Reductions by Restarting Automata. (en)
skos:prefLabel	On the Complexity of Reductions by Restarting Automata. On the Complexity of Reductions by Restarting Automata. (en)
skos:notation	RIV/00216208:11320/14:10289400!RIV15-MSM-11320___
http://linked.open...avai/riv/aktivita	I P
http://linked.open...avai/riv/aktivity	I, P(GAP103/10/0783), P(GAP202/10/1333)
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Lopatková, Markéta Plátek, Martin
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Univerzita Karlova v Praze / Matematicko-fyzikální fakulta
http://linked.open...dnocenehoVysledku	34410
http://linked.open...ai/riv/idVysledku	RIV/00216208:11320/14:10289400
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	automata; restarting; reductions; complexity (en)
http://linked.open.../riv/klicoveSlovo	automata complexity restarting reductions
http://linked.open...ontrolniKodProRIV	[214AD92B61B9]
http://linked.open...v/mistoKonaniAkce	Kassel, Germany
http://linked.open...i/riv/mistoVydani	Wien, Austria
http://linked.open...i/riv/nazevZdroje	NCMA
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	NoSCoM: Non-Standard Computational Models and Their Applications in Complexity, Linguistics, and Learning Structure and its impact for recognition
http://linked.open...UplatneniVysledku	2014
http://linked.open...iv/tvurceVysledku	Lopatková, Markéta Pardubská, Dana Plátek, Martin
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2014-07-28 (xsd:date)
number of pages	16 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Österreichische Computer Gesellschaft
https://schema.org/isbn	978-3-85403-304-2
http://localhost/t...ganizacniJednotka	11320

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software