# Non-deterministic Turing machine

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

2016

- ArXiv
- 2016

In this paper we extend neural Turing machine (NTM) into a dynamic neural Turing machine (D-NTM) by introducing a trainable… (More)

Is this relevant?

Highly Cited

2015

Highly Cited

2015

- ArXiv
- 2015

The expressive power of a machine learning model is closely r elated to the number of sequential computational steps it can learn… (More)

Is this relevant?

2015

2015

- 2015

The Neural Turing Machine (NTM) is more expressive than all previously considered models because of its external memory. It can… (More)

Is this relevant?

Highly Cited

2015

Highly Cited

2015

- ACL
- 2015

Neural Machine Translation (NMT) has recently attracted a l ot of attention due to the very high performance achieved by deep… (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- LICS
- 1998

We demonstrate that many known algorithms for model checking in nite-state systems can be derived uniformly from a reachability… (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- ACM Trans. Program. Lang. Syst.
- 1997

Interpretation of Reactive Systems DENNIS DAMS and ROB GERTH Eindhoven University of Technology and ORNA GRUMBERG Technion, Haifa… (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- 1991

These chunks correspond in some way to prosodic patterns. It appears, for instance, that the strongest stresses in the sentence… (More)

Is this relevant?

1985

1985

- Mathematical systems theory
- 1985

It is shown that a bounded language accepted by a nondeterministic Turing machine in spaceS(n ∈o(logn) can be accepted by a… (More)

Is this relevant?

Highly Cited

1970

Highly Cited

1970

- J. Comput. Syst. Sci.
- 1970

This paper first proves the Savitch Theorem: any nondeterminstic L(n)− tape bounded Turing Machine can be simulated by a… (More)

Is this relevant?

1969

1969

- STOC
- 1969

Computations of non-deterministic Turing machines are shown to correspond to “solving” certain mazes. The storage needed to… (More)

Is this relevant?