TeX source:
(\Sigma ,S,s_{0},\delta ,F)