Abstrakt
Restartovací automaty tvoří speciální třídu regulovaných zkracujících přepisovacích systémů. V tomto článku uvažujeme několik verzí těchto automatů a vlastnost (striktní) monotonie kladenou na jejich výpočty.
To poskytuje tři přirozené možnosti pro definování, kdy je automat (striktně) monotónní. Uvádíme taxonomii relevantních tříd jazyků a zodpovídáme otázky algoritmické rozhodnutelnosti pro studované vlastnosti.