The following pages link to (Q5186756):
Displaying 5 items.
- Deterministic acceptors for indexed languages (Q1280912) (← links)
- Equivalence problem of mappings relative to languages (Q1364102) (← links)
- Problems of inclusion and equivalence for program schemata and formal languages (Q1895011) (← links)
- Decidability problems for meta-\(R\)-functions (Q1907768) (← links)
- Solvable problems for transformers with reversal-bounded counters (Q3747751) (← links)
