The following pages link to (Q3484362):
Displaying 5 items.
- Prime normal form and equivalence of simple grammars (Q860856) (← links)
- Deciding bisimilarity of normed context-free processes is in \(\Sigma_ 2^ p\) (Q1314379) (← links)
- Arithmetics properties of substitutions and infinite automata (Q2372784) (← links)
- Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (Q5060068) (← links)
- A fast algorithm to decide on the equivalence of stateless DPDA (Q5286053) (← links)
