About: Localization of (in)consistencies by monotone reducing automata

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

About: Localization of (in)consistencies by monotone reducing 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
rdfs:seeAlso	http://itat.ics.upjs.sk/proceedings/ITAT2012%20-%20CEUR%20Proceedings%20-%20tlacova%20verzia.pdf
Description	A reducing automaton (red-automaton) is a deterministic automaton proposed for checking word and sub-word correctness by the use of analysis by reduction. Its monotone version characterizes the class of deterministic context-free languages (DCFL). We propose a method for a construction of a deterministic monotone enhancement of any monotone reducing automaton which is able with the help of special auxiliary symbols to localize its preﬁx and post-preﬁx (in)consistencies, and certain types of reducing conﬂicts. In other words this method ensures a robust analysis by reduction without spurious error messages. We formulate natural conditions for which this method ensures the localization of all preﬁx and post-preﬁx inconsistencies in any (incorrect) word with respect to a DCFL. A reducing automaton (red-automaton) is a deterministic automaton proposed for checking word and sub-word correctness by the use of analysis by reduction. Its monotone version characterizes the class of deterministic context-free languages (DCFL). We propose a method for a construction of a deterministic monotone enhancement of any monotone reducing automaton which is able with the help of special auxiliary symbols to localize its preﬁx and post-preﬁx (in)consistencies, and certain types of reducing conﬂicts. In other words this method ensures a robust analysis by reduction without spurious error messages. We formulate natural conditions for which this method ensures the localization of all preﬁx and post-preﬁx inconsistencies in any (incorrect) word with respect to a DCFL. (en)
Title	Localization of (in)consistencies by monotone reducing automata Localization of (in)consistencies by monotone reducing automata (en)
skos:prefLabel	Localization of (in)consistencies by monotone reducing automata Localization of (in)consistencies by monotone reducing automata (en)
skos:notation	RIV/00216208:11320/12:10130955!RIV13-GA0-11320___
http://linked.open...avai/predkladatel	Matematicko-fyzikální fakulta
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(GAP103/10/0783), P(GAP202/10/1333)
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	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	147325
http://linked.open...ai/riv/idVysledku	RIV/00216208:11320/12:10130955
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	monotony, DCFL, syntactic errors; reducing automata (en)
http://linked.open.../riv/klicoveSlovo	DCFL monotony reducing automata syntactic errors
http://linked.open...ontrolniKodProRIV	[1904B37C6C0D]
http://linked.open...v/mistoKonaniAkce	Ždiar, Slovakia
http://linked.open...i/riv/mistoVydani	Košice, Slovakia
http://linked.open...i/riv/nazevZdroje	Information Technologies - Applications and Theory, Conference on Theory and Practice of Information Technologies, Proceedings
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (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	2012
http://linked.open...iv/tvurceVysledku	Procházka, Martin Plátek, Martin
http://linked.open...vavai/riv/typAkce	CST - Celostátní
http://linked.open.../riv/zahajeniAkce	2012-09-17 (xsd:date)
number of pages	8 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Slovenská spoločnosť pre umelú inteligenciu
https://schema.org/isbn	978-80-971144-0-4
http://localhost/t...ganizacniJednotka	11320
is http://linked.open...avai/riv/vysledek of	Localization of (in)consistencies by monotone reducing automata

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