Недетерминированный конечный автомат c эпсилон-переходами

Недетерминированный конечный автомат, в котором правила вывода выглядят следующим образом:

$$\delta :Q\times (\Sigma \cup \{\epsilon \})\to 2^Q$$

где $\epsilon$ - пустое слово