Vi avgör ekvivalensen mellan problemet med att slå en polyhedral satt vid omloppsbana för en linjär karta och skärningspunkten mellan ett vanligt språk och ett språk av permutationer av binära ord (P B-realizability problem). Definibiliteten av de båda problemen är för närvarande okänd och den första är en enkel generalisering av det berömda skolemproblemet och icke-negativitetsproblemet i teorin om linjära återkommande sekvenser. För att visa en "gränslinjestatus" för P B-förverkligbarhetsproblem när det gäller beräkningsbarhet, presenterar vi några avgörande och obeslutsamma problem som har ett nära samband med detta. Detta dokument är en utökad version av tidskriftspublikationen [16] och innehåller ytterligare några resultat.
I REF är problemet med kammarslagning kopplat till beslutsproblem i formell språkteori.
Orbits of linear maps and regular languages
{'venue': 'Vyalyi M., Tarasov S. Orbits of linear maps and regular languages. Discrete analysis and operations research. 2010. Vol. 17, No 6. P. 20--49 (in Russian)', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}