Definitions automata 4 Sections AutomataTheory Doc

'|S| |T|' does not imply '|T| |S|'