Существуют ли варианты визуально выпадающих автоматов, которые позволяют помещать слова в стек?

16

Мне интересно, есть ли какие-либо статьи или исследования, посвященные явно выталкивающим автоматам, но позволяющие помещать слова, а не отдельные буквы, в стек.

С другой стороны, конструкция, которая позволяла нажимать символы на ϵ переходы, могла бы достичь той же цели.

Очевидно, что такие вариации могут быть сформированы, но мне интересно, разрушает ли это свойства замыкания и разрешимости, которые делают VPA интересными.

Я смотрю на конструкцию, в которой стек используется в качестве счетчика, увеличивая его на константы на основе начальных прочитанных символов, а затем производя обратный отсчет на основе других прочитанных символов.

Для тех, кто не знает, очевидно, что автоматы «пуш-ап» - это те, в которых алфавит можно разделить на символы толчка, символы выталкивания и символы, не влияющие на стек вообще. Выбор нажатия или выталкивания полностью определяется текущим символом, который читается. Они закрыты на пересечении, объединении, объединении, звезде и дополнении, что дает им множество разрешимых свойств. Смотрите эту статью для получения дополнительной информации.

jmite
источник
2
Кажется очевидным вопрос: эквивалентны ли такие автоматы стандартным автоматам с понижением «слова», преобразованным в последовательности состояний? афаик, да? если нет, то будет полезен иллюстративный пример случая, когда он терпит неудачу.
1913 года
2
@vzn Они не могут быть эквивалентными. Эти явно КПК кажутся более слабыми. В прошлый раз, когда я проверял, КЛЛ не были закрыты на пересечении.
Кай
Так, VPDAs закрыты под пересечением, и , как известно, должным образом между и D C F L . Тем не менее, я понятия не имею, если мой вариант закрыт на пересечении, поэтому он может быть эквивалентным. Я сомневаюсь, что это так, но я не уверен. REGDCFL
jmite
В этой статье dx.doi.org/10.1145/1516512.1516518 дается грамматическая характеристика VPDA и конструкция для преобразования между грамматиками и VPDA. Возможно, грамматику можно использовать для симуляции нажатия целых слов?
Евгений Торстенсен
Почему нажатие слова на символ эквивалентно разрешению нажатия на eps-переходы?
Домоторп

Ответы:

3

С эпсилон толчками

Для версии с толчками на эпсилон-переходах доказательство неразрешимости универсальности pushdown-автоматов может быть адаптировано к этому новому параметру, поэтому мы теряем по крайней мере следующие свойства: замыкание при дополнении, определимость, разрешимость универсальности и включение.

Схема доказательства: возьмем машину Тьюринга , мы хотим построить VPA A с эпсилон-толчками так, чтобы он был универсальным тогда и только тогда, когда у M нет принимающего пробега.MA

Мы проектируем , что слово не принимается, если и только оно имеет форму:A

где

#C0&C0$(C0¯)R#C1&C1$(C1¯)R#C2&C2$(C2¯)R#Cn&Cn$(Cn¯)R
  1. Каждый кодирует действительную конфигурацию MCiM
  2. является начальным, C n принимаетC0Cn
  3. обратное слово UuRu
  4. является копиейUпомощью попбуквыu¯u
  5. являются специальными символами разделения не в алфавите M#,&,$M
  6. всегда допустимый переход MCiCi+1M

VPA вынужден делать поп на факторы вида C R i . A может недетерминированно угадать нарушение любого свойства и проверить его. Ключ в том, что он может либо нажать на C i , либо ничего не делать, что позволяет проверить все условия (фактически угадать их нарушения). В частности, можно предположить , что первый (или второй) вхождение C я не соответствует ( ¯ C я ) R , игнорируя другой компонент. Также можно догадаться, что C iC i + 1ACiRACiCi(Ci¯)RCiCi+1 это недопустимый переход, нажав оба вхождения , затем нажав один, не нажимая CCiCi+1(Ci+1¯)RСJ(СJ¯)р

Толкая слова

(S,р,U)UA*является префиксом слова, которое может быть передано в соответствии с функцией перехода. При совании письмаa, (S,р,va) превращается в (S',р',v), где S' и р'обновляются нормально, чтобы отразить текущее состояние конструкции блока питания. Тем не менее, на этот раз мы априори получаем детерминированный автомат нажатия, который не является явно нажатием. По крайней мере, это означает, что эквивалентность и универсальность разрешимы.

Денис
источник