The following pages link to (Q4168600):
Displayed 3 items.
- Problems of inclusion and equivalence for program schemata and formal languages (Q1895011) (← links)
- Equivalence problem for finitely ambiguous finite automata over semigroups (Q3904054) (← links)
- Algorithmic solvability of comparison problems for finitely ambiguous sequence transducers on superwords (Q4005339) (← links)