counter machine (Q7879073)
abstract machine used in a formal logic and theoretical computer science
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | counter machine |
abstract machine used in a formal logic and theoretical computer science |
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- enwiki Counter machine
- frwiki Machine à compteurs
- kowiki 카운터 머신
- plwiki Maszyna licznikowa
- zhwiki 计数器机
