New decidability results concerning two-way counter machines and applications (Q4630270)
From MaRDI portal
scientific article; zbMATH DE number 7045123
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | New decidability results concerning two-way counter machines and applications |
scientific article; zbMATH DE number 7045123 |
Statements
New decidability results concerning two-way counter machines and applications (English)
0 references
29 March 2019
0 references
equivalence problem
0 references
finite automaton
0 references
simple loop
0 references
simple program
0 references
counter machine
0 references
0 references
