Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

counter machine · Vinony

🌐English

English Français Polski 한국어 中文

EntityQ7879073· pop 5· linked from 200 articles

counter machine

abstract machine used in a formal logic and theoretical computer science

Available in 5 languages

Français
中文
Polski
한국어

via Wikidata sitelinks · CC0

Connections

Turing completeness

Gödel numbering

Categories

Register machines

Sources

wikipedia.externallinksexternallink

primitive recursive function

Entity

International Standard Book Number

John von Neumann

computer program

digital object identifier

binary numeral system

arithmetic progression

Sign in to save

What links here200 pages

reduced instruction set computing

superscalar processor

power management

16-bit computing

speculative execution

digital signal processor

vector processor

Explicit Data Graph Execution

very long instruction word

out-of-order execution

multi-core processor

application-specific instruction-set processor

pushdown automaton

many-core processor

dynamic voltage scaling

orthogonal instruction set

dynamic frequency scaling

memory management unit

one-instruction set computer

instruction pipeline

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Alternating Turing machine

Entitydist 0.38

Entitydist 0.40

Post–Turing machine

Entitydist 0.42

logic synthesis

Entitydist 0.42

abstract state machine

Entitydist 0.44

logic programming

Entitydist 0.44

computation tree logic

Entitydist 0.45

logical language

Entitydist 0.47

finite-state machine

Entitydist 0.47

classical logic

Entitydist 0.48

Entitydist 0.48

sequential logic

Entitydist 0.48