counter machine (Q7879073)
Jump to navigation
Jump to search
abstract machine used in a formal logic and theoretical computer science
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | counter machine |
abstract machine used in a formal logic and theoretical computer science |
Statements
Identifiers
Sitelinks
Wikipedia(4 entries)
- enwiki Counter machine
- frwiki Machine à compteurs
- plwiki Maszyna licznikowa
- zhwiki 计数器机