Pages that link to "Item:Q2422031"
From MaRDI portal
The following pages link to Weighted simple reset pushdown automata (Q2422031):
Displaying 6 items.
- Weighted restarting automata and pushdown relations (Q287429) (← links)
- Logic for \(\omega\)-pushdown automata (Q2064532) (← links)
- Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata (Q2672253) (← links)
- Weighted Restarting Automata and Pushdown Relations (Q2947160) (← links)
- Algebraic properties of weighted pushdown automata over valuation monoid (Q3131914) (← links)
- Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata (Q5875673) (← links)