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

эпсилон-НКА, у которого функция переходов $\delta$ не является всюду определенной