Pages that link to "Item:Q1594479"
From MaRDI portal
The following pages link to On the classification of Post automaton bases according to the decidability of the completeness and \(A\)-completeness problems (Q1594479):
Displaying 7 items.
- A criterion for the decidability of the \(A\)-completeness problem for definite automata (Q656372) (← links)
- Solvability of the problem of completeness of automaton basis depending on its Boolean part (Q2319977) (← links)
- Dualizability of automatic algebras. (Q2436718) (← links)
- On the classification of bases in \(P_k\) according to the decidability of the completeness problem for automata (Q2453381) (← links)
- On decidability of the completeness problem for special systems of automaton functions (Q3125966) (← links)
- (Q3365841) (← links)
- Finiteness of the set of automaton Post bases with solvable completeness problem (Q4522760) (← links)