Используйте конструкцию перекрестного произведения, объясненную формально здесь .
По сути, вы скрещиваете произведения наборов состояний в каждом, чтобы получить список мета-состояний, соответствующих любой комбинации состоянийкаждая машина.Это позволяет вам выполнить параллельную оценку, чтобы принять, если оба принимают.