The mortality threshold for partially monotonic automata

  • Authors:
  • Dmitry S. Ananichev

  • Affiliations:
  • Ural State University, Ekaterinburg, Russia

  • Venue:
  • DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

A deterministic incomplete automaton ${\mathcal A}=\langle Q,\Sigma,\delta\rangle$ is partially monotonic if its state set Q admits a linear order such that each partial transformation $\delta(\rule{6pt}{.4pt}\,,a)$ with a∈Σ preserves the restriction of the order to the domain of the transformation. We show that if ${\mathcal A}$ possesses a ‘killer' word w∈Σ* whose action is nowhere defined, then ${\mathcal A}$ is ‘killed' by a word of length $|Q|+\left\lfloor\dfrac{|Q|-1}2\right\rfloor$.