⁸With additional operations, including a sequential composition operation for labeled transitions.