About: On the Clases of Languages Accepted by Limited Context Restarting Automata

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

About: On the Clases of Languages Accepted by Limited Context 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
rdfs:seeAlso	http://dx.doi.org/10.1051/ita/2014001
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 by 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 by 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	On the Clases of Languages Accepted by Limited Context Restarting Automata On the Clases of Languages Accepted by Limited Context Restarting Automata (en)
skos:prefLabel	On the Clases of Languages Accepted by Limited Context Restarting Automata On the Clases of Languages Accepted by Limited Context Restarting Automata (en)
skos:notation	RIV/00216208:11320/14:10290088!RIV15-MSM-11320___
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...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Mráz, František Černo, Peter
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
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	34406
http://linked.open...ai/riv/idVysledku	RIV/00216208:11320/14:10290088
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	McNaughton family of languages; contextual rewriting; Restarting automaton (en)
http://linked.open.../riv/klicoveSlovo	Restarting automaton McNaughton family of languages contextual rewriting
http://linked.open...odStatuVydavatele	FR - Francouzská republika
http://linked.open...ontrolniKodProRIV	[765AAC68B542]
http://linked.open...i/riv/nazevZdroje	RAIRO - Theoretical Informatics and Applications
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...v/svazekPeriodika	48
http://linked.open...iv/tvurceVysledku	Mráz, František Otto, Friedrich Černo, Peter
http://linked.open...ain/vavai/riv/wos	000333753000005
issn	0988-3754
number of pages	24 (xsd:int)
http://bibframe.org/vocab/doi	10.1051/ita/2014001
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