V. Meitus

发表

Decidability of the equivalence problem for deterministic pushdown automata

V. Meitus, 1992 .

The equivalence problem for real-time strict deterministic pushdown automata

V. Meitus, 1989 .

Equivalence of deterministic pushdown automata revisited

V. Meitus, 2007 .

Generalized transformation grammars

V. Meitus, 1972 .

Transforming categories and finite transformers. I

V. Meitus, 1978 .

Representation of the algorithm for solving a system of equations with a three-diagonal matrix in a structural algorithmic algebra

V. Meitus, I. V. Tancher, 1979 .

Pushdown automata with complementary registers

V. Yu. Meitus, V. Meitus, 1970 .

Transforming categories and finite transducers. II

V. Yu. Meitus, V. Meitus, 1978 .