Counter machine

A counter machine is an abstract machine used in formal logic and theoretical computer science to model computation. It is the most primitive of the… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
We look at NFAs augmented with multiple reversal-bounded counters where, during an accepting computation, the behavior of the… (More)
Is this relevant?
2014
2014
This project proves universal computation in the Game of Life cellular automaton by using a Turing machine construction. Existing… (More)
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
  • figure 2.5
Is this relevant?
2013
2013
Continuing the study of connections between classical and P automata variants, we show that dP automata, i.e., distributed… (More)
Is this relevant?
2012
2012
We investigate the power of (1-reversal) counter machines (finite automata with multiple counters, where each counter can… (More)
Is this relevant?
2011
2011
Approximate computation is a central concept in algorithms and computation theory. Our notion of approximation is that the… (More)
  • figure 1
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets. 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
We extend the class of reversal-bounded counter machines by authorizing a finite number of alternations between increasing and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1996
1996
A k-counter machine (CM(k)) is an automaton having k counters as an auxiliary memory. It has been shown by Minsky that a CM(2… (More)
Is this relevant?
1981
1981
It has long been known that deterministic 1-way counter machines recognize exactly all r.e. sets. Here we investigate counter… (More)
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1968
Highly Cited
1968
The languages recognizable by time- and space-restricted multiple-counter machines are compared to the languages recognizable by… (More)
  • figure 1
  • figure 2
Is this relevant?