Automata theory based on quantum logic

Automata theory based on quantum logic, called l-valued finite automata (l-VFAs), may be viewed as a logical approach to quantum computing. This work is mainly divided into two parts: one part deal...