Pergunto-me, existem documentos ou pesquisas que tratem de autômatos visivelmente pushdown, mas permitindo que palavras, em vez de letras únicas, sejam empurradas para a pilha.
Como alternativa, uma construção que permitisse que os símbolos fossem inseridos nas transições poderia atingir o mesmo objetivo.
Obviamente, essas variações podem ser formadas, mas estou me perguntando se isso arruina as propriedades de fechamento e decidibilidade que tornam os VPAs interessantes.
Eu estou olhando para uma construção em que use a pilha como um contador, incrementando-a por constantes com base nos símbolos iniciais lidos e depois fazendo a contagem regressiva com base em outros símbolos lidos.
Para quem não sabe, os autômatos visivelmente pushdown são aqueles em que o alfabeto pode ser dividido em símbolos push, popping e símbolos que não afetam a pilha. A escolha de empurrar contra estalar é inteiramente determinada pelo símbolo atual que está sendo lido. Eles estão fechados sob interseção, união, concatenação, estrela e complemento, dando a eles uma riqueza de propriedades decidíveis. Veja este documento para mais informações.