This HTML5 document contains 39 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n11http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n21http://localhost/temp/predkladatel/
n7http://purl.org/net/nknouf/ns/bibtex#
n17http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n15http://linked.opendata.cz/resource/domain/vavai/projekt/
n10http://linked.opendata.cz/ontology/domain/vavai/
n20https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F14%3A10290161%21RIV15-GA0-11320___/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n12http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F14%3A10290161%21RIV15-GA0-11320___
rdf:type
n10:Vysledek skos:Concept
dcterms:description
Restarting automata were introduced as a tool for modelling a method of checking correctness of sentences called analysis by reduction. The first ten years of research on restarting automata brought out their interesting properties and introduced several extensions to the original model. Here we concentrate on recent developments in the opposite direction - from complex to simpler models. Such development aims to find automata models which are somewhat limited in their power but have other desired properties, like e.g. simpler definition, more effective recognition or learnability. All these properties are crucial for possible applications of restarting automata. Restarting automata were introduced as a tool for modelling a method of checking correctness of sentences called analysis by reduction. The first ten years of research on restarting automata brought out their interesting properties and introduced several extensions to the original model. Here we concentrate on recent developments in the opposite direction - from complex to simpler models. Such development aims to find automata models which are somewhat limited in their power but have other desired properties, like e.g. simpler definition, more effective recognition or learnability. All these properties are crucial for possible applications of restarting automata.
dcterms:title
Limited restarting automata Limited restarting automata
skos:prefLabel
Limited restarting automata Limited restarting automata
skos:notation
RIV/00216208:11320/14:10290161!RIV15-GA0-11320___
n3:aktivita
n19:P
n3:aktivity
P(GAP103/10/0783)
n3:dodaniDat
n12:2015
n3:domaciTvurceVysledku
n17:5680050
n3:druhVysledku
n13:D
n3:duvernostUdaju
n4:S
n3:entitaPredkladatele
n18:predkladatel
n3:idSjednocenehoVysledku
26226
n3:idVysledku
RIV/00216208:11320/14:10290161
n3:jazykVysledku
n14:eng
n3:klicovaSlova
grammatical inference; analysis by reduction; restarting automaton
n3:klicoveSlovo
n6:analysis%20by%20reduction n6:grammatical%20inference n6:restarting%20automaton
n3:kontrolniKodProRIV
[2CE57F27DF99]
n3:mistoKonaniAkce
Kassel, Germany
n3:mistoVydani
Wien, Austria
n3:nazevZdroje
Sixth Workshop on Non-Classical Models for Automata and Applications - NCMA 2014, Kassel, Germany, July 28-29, 2014. Proceedings
n3:obor
n16:IN
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n15:GAP103%2F10%2F0783
n3:rokUplatneniVysledku
n12:2014
n3:tvurceVysledku
Mráz, František
n3:typAkce
n11:EUR
n3:zahajeniAkce
2014-07-28+02:00
s:numberOfPages
28
n7:hasPublisher
Österreichische Computer Gesellschaft
n20:isbn
978-3-85403-304-2
n21:organizacniJednotka
11320