Давайте назовем контекстно-свободный язык детерминированным тогда и только тогда, когда он может быть принят детерминированным автоматом, и недетерминированным в противном случае.
Давайте назовем контекстно-свободный язык по своей сути неоднозначным тогда и только тогда, когда все контекстно-свободные грамматики, которые генерируют язык, являются неоднозначными и однозначно в противном случае.
Примером детерминированного, однозначного языка является язык: Примером недетерминированного, однозначного языка является язык:
Из Википедии примером по сути неоднозначного языка без контекста является следующий союз языков без контекста, которые также должны быть контекстно-свободными:
Теперь по вопросам:
- Известно ли, существует ли детерминированный, по сути неоднозначный контекстно-свободный язык? Если так, есть ли (легкий) пример?
- Известно ли, существует ли недетерминированный, по сути неоднозначный язык без контекста? Если так, есть ли (легкий) пример?
Ясно, что поскольку существует по сути неоднозначный язык без контекста ( пример ), ответ на один из этих вопросов будет легким, если известно, является ли детерминированным или недетерминированным. Я также предполагаю, что это правда, что если есть детерминированный, то обязательно будет и недетерминированный ... но я был удивлен раньше. Ссылки приветствуются и заранее приносим свои извинения, если это хорошо известный, известный результат (в этом случае я совершенно не знаю об этом).
читая википедию, ответ и ваш комментарий к ней, повторяйте (Q2), чтобы прямо заявить, что все неоднозначные КЛЛ по своей сути должны быть недетерминированными по стандартному стандартному стандарту (включая ваш собственный пример!). наткнулся на эту ссылку
источник