Pages that link to "Item:Q2672253"
From MaRDI portal
The following pages link to Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata (Q2672253):
Displaying 4 items.
- Weighted simple reset pushdown automata (Q2422031) (← links)
- Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata (Q5875673) (← links)
- The Triple-Pair Construction for Weighted ω-Pushdown Automata (Q6114867) (← links)
- Weighted Linear Dynamic Logic (Q6154979) (← links)