THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR ω-LANGUAGE (Q4923292)
From MaRDI portal
scientific article; zbMATH DE number 6171177
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR ω-LANGUAGE |
scientific article; zbMATH DE number 6171177 |
Statements
THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR ω-LANGUAGE (English)
0 references
6 June 2013
0 references
decision problems
0 references
infinite Post correspondence problem
0 references
analytical hierarchy
0 references
high undecidability
0 references
infinitary rational relations
0 references
omega rational functions
0 references
topology
0 references
points of continuity
0 references
