About: Limited context restarting automata and McNaughton families of languages

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

About: Limited context restarting automata and McNaughton families of languages 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://ksvi.mff.cuni.cz/workshop/theorietag2012/files/ProcTt12final_v2opt.pdf
Description	In the literature various types of restarting automata have been studied that are based on contextual rewriting. A word w is accepted by such an automaton if, starting from the initial configuration that corresponds to input w, the word w is reduced to the empty word within a finite number of applications of these contextual rewritings. This approach is reminiscent of the notion of McNaughton families of languages. Here we put the aforementioned types of restarting automata into the context of McNaughton families of languages, relating the classes of languages accepted by these automata in particular to the class GCSL of growing context-sensitive languages and to the class CRL of Church- Rosser languages. In the literature various types of restarting automata have been studied that are based on contextual rewriting. A word w is accepted by such an automaton if, starting from the initial configuration that corresponds to input w, the word w is reduced to the empty word within a finite number of applications of these contextual rewritings. This approach is reminiscent of the notion of McNaughton families of languages. Here we put the aforementioned types of restarting automata into the context of McNaughton families of languages, relating the classes of languages accepted by these automata in particular to the class GCSL of growing context-sensitive languages and to the class CRL of Church- Rosser languages. (en)
Title	Limited context restarting automata and McNaughton families of languages Limited context restarting automata and McNaughton families of languages (en)
skos:prefLabel	Limited context restarting automata and McNaughton families of languages Limited context restarting automata and McNaughton families of languages (en)
skos:notation	RIV/00216208:11320/12:10132511!RIV13-GA0-11320___
http://linked.open...avai/predkladatel	Matematicko-fyzikální fakulta
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(GAP103/10/0783), P(GAP202/10/1333), S
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Mráz, František Černo, Peter
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	147083
http://linked.open...ai/riv/idVysledku	RIV/00216208:11320/12:10132511
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	rewriting systems; McNaughton languages; context restarting automata; Limited (en)
http://linked.open.../riv/klicoveSlovo	Limited McNaughton languages context restarting automata rewriting systems
http://linked.open...ontrolniKodProRIV	[5E01913E9E73]
http://linked.open...v/mistoKonaniAkce	Praha
http://linked.open...i/riv/mistoVydani	Praha
http://linked.open...i/riv/nazevZdroje	22nd Theorietag Automata and Formal Languages
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	2012
http://linked.open...iv/tvurceVysledku	Mráz, František Otto, Friedrich Černo, Peter
http://linked.open...vavai/riv/typAkce	EUR - Evropská
http://linked.open.../riv/zahajeniAkce	2012-10-03 (xsd:date)
number of pages	6 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Matfyzpress
https://schema.org/isbn	978-80-7378-221-4
http://localhost/t...ganizacniJednotka	11320
is http://linked.open...avai/riv/vysledek of	Limited context restarting automata and McNaughton families of languages

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, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software