Definition 1.2.11: _-NFA and _-NFA recognizability — just like NFA, except underlying transition system is _-NTS.
Note that any NFA is an _-NFA so each NFA- recognizable language is _-NFA-recognizable.
Theorem 1.2.4: Each __NFA-recognizable language is NFA-recognizable.
| Previous slide | Next slide | Back to first slide | View graphic version |