Weighted Simple Reset Pushdown Automata
Résumé
We define a new normal form for weighted pushdown automata. The new type of automaton uses a stack but has only limited access to it. Only three stack commands are available: popping a symbol, pushing a symbol or leaving the stack unaltered. Additionally, ε-transitions are not used. We prove that this automaton model can recognize all weighted context-free languages (i.e., generates all algebraic power series).
Fichier principal
droste_dziadek_kuich-weighted_simple_reset_pushdown_automata-2019.pdf (263.22 Ko)
Télécharger le fichier
Origine | Fichiers produits par l'(les) auteur(s) |
---|