Машины Тьюринга и неограниченные грамматики - это два разных формализма, которые определяют языки RE. Некоторые языки RE разрешимы, но не все.
Мы можем определить разрешимые языки с помощью машин Тьюринга, сказав, что язык разрешимый, если есть язык для языка, который останавливает и принимает все строки в языке, а также останавливает и отклоняет все строки, не входящие в язык. Мой вопрос таков: есть ли аналогичное определение разрешимых языков, основанное на неограниченных грамматиках, а не на машинах Тьюринга?