# Counter machine

## Papers overview

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

2016

2016

- DLT
- 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

- 2014

This project proves universal computation in the Game of Life cellular automaton by using a Turing machine construction. Existingâ€¦Â (More)

Is this relevant?

2013

2013

- Int. Conf. on Membrane Computing
- 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

- Theor. Comput. Sci.
- 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

- Fundam. Inform.
- 2011

Approximate computation is a central concept in algorithms and computation theory. Our notion of approximation is that theâ€¦Â (More)

Is this relevant?

Highly Cited

2010

Highly Cited

2010

- MFCS
- 2010

We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.Â

Is this relevant?

2008

2008

- MFCS
- 2008

We extend the class of reversal-bounded counter machines by authorizing a finite number of alternations between increasing andâ€¦Â (More)

Is this relevant?

1996

1996

- Theor. Comput. Sci.
- 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

- STOC
- 1981

It has long been known that deterministic 1-way counter machines recognize exactly all r.e. sets. Here we investigate counterâ€¦Â (More)

Is this relevant?

Highly Cited

1968

Highly Cited

1968

- Mathematical systems theory
- 1968

The languages recognizable by time- and space-restricted multiple-counter machines are compared to the languages recognizable byâ€¦Â (More)

Is this relevant?