# Definition:Extended transition function (DFA)

Given an DFA , we define the extended transition function inductively by , and .