Yair Itzhaik

According to our database, Yair Itzhaik authored at least 4 papers between 1981 and 1984.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1984

An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA

Yair Itzhaik, Amiram Yehudai

Inf. Control., July, 1984

New Families of Non Real Time DPDA's and their Decidability Results.

Yair Itzhaik, Amiram Yehudai

Theor. Comput. Sci., 1984

1983

On Containment Problems for Finite-Turn Languages (Extended Abstract).

Yair Itzhaik, Amiram Yehudai

Proceedings of the Fundamentals of Computation Theory, 1983

1981

A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract).

Yair Itzhaik, Amiram Yehudai

Proceedings of the Automata, 1981