An algebra of automata which includes both classical and quantum entities

TL;DR

This paper introduces an algebraic framework for composing automata that integrates both classical and quantum entities, enabling analysis of their interactions and communications.

Contribution

It presents a novel algebraic system that unifies classical and quantum automata, facilitating the study of their combined behaviors.

Findings

Successfully models classical and quantum automata interactions

Provides detailed example of a quantum protocol within the algebra

Establishes a foundation for analyzing hybrid automata systems

Abstract

We describe an algebra for composing automata which includes both classical and quantum entities and their communications. We illustrate by describing in detail a quantum protocol.