The work includes a unifying mathematical presentation of almost all major topics of automata and formal language theory.
Ang mga trabaho ay nagsasama ng isang unifying matematiko pagtatanghal ng halos lahat ng mga pangunahing paksa ng automata at pormal na wika ng teorya.