Quasirelations in a free group and transformator equivalence problems (Q1820772)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Quasirelations in a free group and transformator equivalence problems |
scientific article; zbMATH DE number 3995645
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quasirelations in a free group and transformator equivalence problems |
scientific article; zbMATH DE number 3995645 |
Statements
Quasirelations in a free group and transformator equivalence problems (English)
0 references
1986
0 references
The author proves a special quasirelation in a free group and uses it to prove the algorithmic decidability of the inclusion problem (and, thereby, the equivalence problem) for maps given by transformators sufficiently close to the class of Turing machines of restricted regime.
0 references
quasirelation in a free group
0 references
algorithmic decidability of the inclusion problem
0 references
equivalence problem
0 references
Turing machines
0 references
