docs: DFA API.