遷移函数 δ は、状況から状況への写像を自然に定める。