// Automaton type ():

= DFA
// Set of states (Q):
Q = {_,t_,th_,tha_,_cat,c_at,ca_t,c$at,ca$t,err}
// Input alphabet ():
= {c,a,t,h,e}
// Initial state (q):
q = _
// et of accept states (F):
F = {_,t_,th_,tha_,_cat,c_at,ca_t,c$at,ca$t}
// Transition function ():
(_,c) = c$at
(_,a) = _
(_,t) = t_
(_,h) = _
(_,e) = _
(t_,c) = c$at
(t_,a) = _
(t_,t) = t_
(t_,h) = th_
(t_,e) = _
(th_,c) = c$at
(th_,a) = tha_
(th_,t) = t_
(th_,h) = _
(th_,e) = _cat
(tha_,c) = c$at
(tha_,a) = _
(tha_,t) = _cat
(tha_,h) = _
(tha_,e) = _
(_cat,c) = c_at
(_cat,a) = _
(_cat,t) = t_
(_cat,h) = _
(_cat,e) = _
(c_at,c) = c$at
(c_at,a) = ca_t
(c_at,t) = t_
(c_at,h) = _
(c_at,e) = _
(ca_t,c) = c$at
(ca_t,a) = _
(ca_t,t) = t_
(ca_t,h) = _
(ca_t,e) = _
(c$at,c) = c$at
(c$at,a) = ca$t
(c$at,t) = t_
(c$at,h) = _
(c$at,e) = _
(ca$t,c) = c$at
(ca$t,a) = _
(ca$t,t) = err
(ca$t,h) = _
(ca$t,e) = _
(err,c) = err
(err,a) = err
(err,t) = err
(err,h) = err

(err,e) = err
// Automaton layout ()
(_)=(70.00,190.00)
(t_)=(160.00,190.00)
(err)=(250.00,340.00)
(th_)=(250.00,190.00)
(_cat)=(430.00,190.00)
(c$at)=(160.00,270.00)
(c_at)=(510.00,190.00)
(ca$t)=(160.00,340.00)
(ca_t)=(600.00,190.00)
(tha_)=(340.00,190.00)
(th_,_)=(0.00,0.00,0.11,0.22,0.78,0.22,1.00,0.00)
(c_at,_)=(0.00,0.00,0.14,0.41,1.09,0.41,1.09,0.00,1.00,0.00)
(_cat,t_)=(0.00,0.00,0.22,0.22,0.78,0.22,1.00,0.00)
(c_at,t_)=(0.00,0.00,0.40,0.23,0.77,0.23,1.00,0.00)
(ca_t,t_)=(0.00,0.00,0.52,0.23,0.77,0.23,1.00,0.00)
(th_,_cat)=(0.00,0.00,0.22,-0.22,0.61,-0.22,1.00,0.00)
(tha_,_)=(0.00,0.00,-0.00,0.44,1.07,0.44,1.07,0.07,1.00,0.00)
(ca_t,c$at)=(0.00,0.00,0.03,-0.18,0.47,-0.10,0.58,-0.08,0.67,-0.06,1.00,0.00)
(_cat,_)=(0.00,0.00,-0.00,0.39,0.25,0.39,1.06,0.39,1.06,0.06,1.00,0.00)
(c_at,c$at)=(0.00,0.00,0.35,-0.15,0.48,-0.12,0.59,-0.09,1.00,0.00)
(ca_t,_)=(0.00,0.00,-0.00,0.30,0.49,0.30,1.04,0.30,1.04,0.04,1.00,0.00)
(ca$t,_)=(0.00,0.00,0.26,-0.44,1.00,0.00)