Pages that link to "Item:Q1191024"
From MaRDI portal
The following pages link to Finite automata on directed graphs (Q1191024):
Displaying 9 items.
- Some machines defined by directed graphs (Q796988) (← links)
- Construction of push-down automaton graph (Q1281236) (← links)
- Nondeterminism versus determinism of finite automata over directed acyclic graphs (Q1326955) (← links)
- A branching time logic with past operators (Q1337463) (← links)
- Finite graph automata for linear and boundary graph languages (Q1770387) (← links)
- Graph automata (Q2481961) (← links)
- (Q5042606) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311120) (← links)
- (Q5750412) (← links)