{"id":"W2890948056","doi":"10.1142/s0129054119500308","title":"Cobham’s Theorem and Automaticity","year":2019,"lang":"en","type":"preprint","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; University of Winnipeg","funders":"Fonds pour la Formation à la Recherche dans l’Industrie et dans l’Agriculture; Natural Sciences and Engineering Research Council of Canada; Université de Liège","keywords":"Aperiodic graph; Automaticity; Prefix; Sequence (biology); Mathematics; Discrete mathematics; Combinatorics; Philosophy; Linguistics","routes":{"ca_aff":true,"ca_fund":true,"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.003623956,0.0008952228,0.000926496,0.002767027,0.003134129,0.002266524,0.001618419,0.001630608,0.006717788],"category_scores_gemma":[0.01396314,0.0005513505,0.001531432,0.001649069,0.007269475,0.009213721,0.004644819,0.00503464,0.001548123],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003071522,"about_ca_system_score_gemma":0.001213135,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001601554,"about_ca_topic_score_gemma":0.001245602,"domain_scores_codex":[0.9968393,0.000536409,0.0001681506,0.001010321,0.0009860974,0.0004597313],"domain_scores_gemma":[0.9861692,0.008327522,0.0006717553,0.002249005,0.001960716,0.000621872],"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.00003991938,0.000008975672,0.0002366091,0.00004777127,0.000006854894,0.00007946688,0.0002427472,0.0003895307,0.0009902134,0.9911031,0.0009926385,0.005862186],"study_design_scores_gemma":[0.00001453471,0.00003050795,0.0004214898,0.00002965429,0.00001386657,0.0001480984,0.00005896616,0.003440291,0.002880162,0.9790769,0.01385724,0.00002833086],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1377539,0.006573077,0.5783481,0.01170757,0.001747492,0.0001292482,0.0003338093,0.0008524668,0.2625542],"genre_scores_gemma":[0.8611084,0.001627189,0.1058113,0.002200363,0.0009851723,0.0002724041,0.0001779364,0.000324184,0.02749313],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006717788,"threshold_uncertainty_score":0.02247328,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01636788722719075,"score_gpt":0.2974546330754984,"score_spread":0.2810867458483076,"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."}}