{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004933639,0.00008037644,0.0001395558,0.0002607676,0.00004680512,0.0003908044,0.0002788808,0.00003735544,0.000001289612],"category_scores_gemma":[0.00003899206,0.00006895597,0.00004851566,0.0001011857,0.0000120861,0.000767681,0.00002245565,0.00007000974,0.000001207966],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007004935,"about_ca_system_score_gemma":0.00006327384,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003524896,"about_ca_topic_score_gemma":0.000001325652,"domain_scores_codex":[0.9989624,0.00003632934,0.000436085,0.0001277207,0.0003455113,0.00009193771],"domain_scores_gemma":[0.9990992,0.0001422196,0.0002741985,0.00004826629,0.0003936037,0.00004254479],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001985369,0.0001169735,0.0003588887,0.00000955675,0.00003120009,0.00004097138,0.001413481,0.01551996,0.001013356,0.0891314,0.000407539,0.8917581],"study_design_scores_gemma":[0.002129358,0.0005025954,0.009835095,0.000370834,0.000007066616,0.0005392336,0.0001199023,0.8327572,0.0002814325,0.1529477,0.0003635583,0.0001460039],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3123116,0.000236461,0.6859769,0.0007745665,0.0005318479,0.0001044469,0.000002461956,0.00001317375,0.00004848015],"genre_scores_gemma":[0.937106,0.00003363111,0.06259216,0.000165163,0.00008941122,0.000002570134,0.000004836206,0.000003068558,0.000003152239],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8916121,"threshold_uncertainty_score":0.3768536,"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."}}