A unified approach for showing language containment and equivalence between various types of w-automata (0)

by A Draghicescu, R E Kurshan
Venue:Information Processing Letters 46