𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Sequential and jumping machines and their relation to computers

✍ Scribed by Karel Čulík; Michael A. Arbib

Publisher
Springer-Verlag
Year
1973
Tongue
English
Weight
465 KB
Volume
2
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Sequential real number computation and r
Sequential real number computation and recursive relations
✍ J. Raymundo Marcial-Romero; M. Andrew Moshier 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 195 KB

## Abstract In the first author's thesis [10], a sequential language, LRT, for real number computation is investigated. That thesis includes a proof that all polynomials are programmable, but that work comes short of giving a complete characterization of the expressive power of the language even fo

A polynomial time algorithm to infer seq
A polynomial time algorithm to infer sequential machines
✍ Katsuhiko Takahashi; Akio Fujiyoshi; Takumi Kasai 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 999 KB

## Abstract In this paper, we will describe an algorithm which infers a Moore‐type sequential machine from examples of inputs and outputs of an unknown Moore‐type sequential machine. The hypothesis output by this inference algorithm is a nondeterministic Moore‐type sequential machine which does not