The following pages link to V. Yu. Mejtus (Q1816325):
Displaying 6 items.
- Decidability of the equivalence problem for deterministic pushdown automata (Q1816326) (← links)
- (Q3758552) (← links)
- Representation of the algorithm for solving a system of equations with a three-diagonal matrix in a structural algorithmic algebra (Q3888524) (← links)
- The equivalence problem for real-time strict deterministic pushdown automata (Q4007337) (← links)
- (Q4053082) (← links)
- (Q5634863) (← links)
