Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - The annulation threshold for partially monotonic automata
AU - Ananichev, D. S.
PY - 2010
Y1 - 2010
N2 - A deterministic incomplete automaton script A sign = Q, ∑, δ is partially monotonic if its state set Q admits a linear order such that each partial transformation δ(-, a) with a ∑ preserves the restriction of the order to the domain of the transformation. We show that if script A sign possesses an annihilator word w ∑*whose action is nowhere defined, then script A sign is annihilated by a word of length |Q| + {|Q|-1/2 and this bound is tight. © 2010 Allerton Press, Inc.
AB - A deterministic incomplete automaton script A sign = Q, ∑, δ is partially monotonic if its state set Q admits a linear order such that each partial transformation δ(-, a) with a ∑ preserves the restriction of the order to the domain of the transformation. We show that if script A sign possesses an annihilator word w ∑*whose action is nowhere defined, then script A sign is annihilated by a word of length |Q| + {|Q|-1/2 and this bound is tight. © 2010 Allerton Press, Inc.
UR - http://www.scopus.com/inward/record.url?partnerID=8YFLogxK&scp=78649562717
U2 - 10.3103/S1066369X10010019
DO - 10.3103/S1066369X10010019
M3 - Article
VL - 54
SP - 1
EP - 9
JO - Russian Mathematics
JF - Russian Mathematics
SN - 1066-369X
IS - 1
ER -
ID: 38004458