"dfa" - key terms from Wikipedia