Pages that link to "Item:Q5281765"
From MaRDI portal
The following pages link to A Note on Deciding Controllability in Pushdown Systems (Q5281765):
Displayed 4 items.
- Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively (Q262426) (← links)
- Detecting useless transitions in pushdown automata (Q2042722) (← links)
- A note on controllability of deterministic context-free~systems (Q2391510) (← links)
- Detecting Useless Transitions in Pushdown Automata (Q5739015) (← links)