Attributes | Values |
---|
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
| |
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
| |
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
| |
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
| |
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
| |
http://linked.open...iv/tvurceVysledku
| - Mráz, František
- Plátek, Martin
|
http://linked.open...n/vavai/riv/zamer
| |
issn
| |
number of pages
| |
http://localhost/t...ganizacniJednotka
| |