About: Degrees of non-monotonicity for 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)

AttributesValues
rdf:type
Description
  • In the literature various notions of monotonicity for restarting automata have been studied. Here we introduce two new variants of monotonicity for restarting automata and for two-way restarting automata: left-monotonicity and right-left monotonicity. It is shown that the Various types of deterministic and nondeterministic restarting automata without auxiliary symbols, these notions yield infinite hierarchies, and we compare these hierarchies to each other. Further, as a tool used to simplify some of the proofs, the shrinking restarting automaton is introduced, which is a generalization of the standard restarting automaton to the weight-reducing case. Some of the consequences of this generalization are also discussed.
  • In the literature various notions of monotonicity for restarting automata have been studied. Here we introduce two new variants of monotonicity for restarting automata and for two-way restarting automata: left-monotonicity and right-left monotonicity. It is shown that the Various types of deterministic and nondeterministic restarting automata without auxiliary symbols, these notions yield infinite hierarchies, and we compare these hierarchies to each other. Further, as a tool used to simplify some of the proofs, the shrinking restarting automaton is introduced, which is a generalization of the standard restarting automaton to the weight-reducing case. Some of the consequences of this generalization are also discussed. (en)
  • V pramenech se studují rozličné varianty pojmu monotonie pro restartovací automaty. Zde se zavádí dvě nové varianty monotonie pro restartovací automaty: levá monotonie a pravo-levá monotonie. Jsou presentovány a porovnávány rozličné hierarchie jazyků založené na těchto pojmech. Zprvu jako technický prostředek byly zavedeny shrinking restartovací automaty , které zobecňují standardní restartovací automaty tak, že místo zkracování zmenšují jisté ohodnocení řetězů. Jsou diskutovány důsledky této generalizace. (cs)
Title
  • Degrees of non-monotonicity for restarting automata,
  • Degrees of non-monotonicity for restarting automata, (en)
  • Stupně monotonie pro restartovací automaty (cs)
skos:prefLabel
  • Degrees of non-monotonicity for restarting automata,
  • Degrees of non-monotonicity for restarting automata, (en)
  • Stupně monotonie pro restartovací automaty (cs)
skos:notation
  • RIV/00216208:11320/06:00002274!RIV07-AV0-11320___
http://linked.open.../vavai/riv/strany
  • 1;34
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(1ET100300517), P(GA201/04/2102), Z(MSM0021620838)
http://linked.open...iv/cisloPeriodika
  • 366
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 470681
http://linked.open...ai/riv/idVysledku
  • RIV/00216208:11320/06:00002274
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Degrees; non-monotonicity; restarting; automata (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...odStatuVydavatele
  • FR - Francouzská republika
http://linked.open...ontrolniKodProRIV
  • [DE37DEFB5031]
http://linked.open...i/riv/nazevZdroje
  • Theoretical Computer Science
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...v/svazekPeriodika
  • 366
http://linked.open...iv/tvurceVysledku
  • Mráz, František
  • Plátek, Martin
http://linked.open...n/vavai/riv/zamer
issn
  • 0304-3975
number of pages
http://localhost/t...ganizacniJednotka
  • 11320
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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