Deterministic, probabilistic, fuzzy and quantum automata: Two unifying formulations | IEEE Conference Publication | IEEE Xplore