{"id":"W2570386222","doi":"10.1142/s0218196709005330","title":"A DECISION PROBLEM FOR ULTIMATELY PERIODIC SETS IN NONSTANDARD NUMERATION SYSTEMS","year":2009,"lang":"en","type":"article","venue":"International Journal of Algebra and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Mathematics; Fibonacci number; Class (philosophy); Set (abstract data type); Discrete mathematics; Finite set; Automaton; Sequence (biology); Regular language; Decision problem; Algebra over a field; Arithmetic; Combinatorics; Pure mathematics; Theoretical computer science; Algorithm; Artificial intelligence; Computer science","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004313226,0.0005628604,0.001201223,0.0006395832,0.00217532,0.004909649,0.002015497,0.002500484,0.005828309],"category_scores_gemma":[0.01570758,0.0006874537,0.001687021,0.0007196293,0.004020792,0.006401354,0.002498228,0.002487742,0.0005389839],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002220324,"about_ca_system_score_gemma":0.001983207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001714411,"about_ca_topic_score_gemma":0.001294593,"domain_scores_codex":[0.9957358,0.001259304,0.0003704535,0.001433498,0.0005337904,0.0006671337],"domain_scores_gemma":[0.9840243,0.01343584,0.0006141635,0.0005219236,0.0006586041,0.0007451064],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001598241,0.0004903894,0.002833349,0.0006995206,0.0001554047,0.001155982,0.001739051,0.08928922,0.01034395,0.8343298,0.005096115,0.05226893],"study_design_scores_gemma":[0.0002263824,0.0002227813,0.0004066884,0.000055057,0.00006476112,0.000218721,0.0005371308,0.2053373,0.007293093,0.7828643,0.002699684,0.00007408178],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.458602,0.0004209786,0.5243186,0.003946393,0.0002013441,0.000470573,0.0007087445,0.0006032224,0.01072813],"genre_scores_gemma":[0.8132328,0.0002595073,0.1779748,0.0004274987,0.0001821186,0.0002953388,0.001004351,0.0001013346,0.006522243],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005828309,"threshold_uncertainty_score":0.02281082,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01046059632410859,"score_gpt":0.2923544748404146,"score_spread":0.281893878516306,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}