{"id":"W2115974696","doi":"","title":"A GENERALIZATION OF COBHAM'S THEOREM FOR REGULAR SEQUENCES","year":2005,"lang":"en","type":"article","venue":"Séminaire Lotharingien de Combinatoire [electronic only]","topic":"semigroups and automata theory","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Sequence (biology); Generalization; Mathematics; Combinatorics; Discrete mathematics; State (computer science); Algorithm; Mathematical analysis","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.002017539,0.0004964084,0.0007889276,0.001256638,0.001592473,0.001347134,0.001121582,0.001019401,0.003225448],"category_scores_gemma":[0.005381971,0.0003704812,0.001281121,0.0008306337,0.004205909,0.004056302,0.001835715,0.00188762,0.0009367201],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00107422,"about_ca_system_score_gemma":0.0008214433,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001026442,"about_ca_topic_score_gemma":0.0006014683,"domain_scores_codex":[0.9980999,0.0002204078,0.0001777073,0.0009078294,0.0003901339,0.0002040468],"domain_scores_gemma":[0.9972216,0.001260948,0.0002405166,0.0006900312,0.0004564165,0.0001306191],"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.00004850271,0.00001932693,0.0004768592,0.0001091888,0.0000145602,0.0002749522,0.0008170584,0.00179393,0.005300478,0.9718346,0.001145146,0.01816541],"study_design_scores_gemma":[0.00002615064,0.0001446823,0.0006715047,0.00004223505,0.00002249123,0.001022158,0.000121674,0.01442509,0.007644246,0.9525926,0.02323427,0.00005300509],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1328971,0.001637661,0.7982991,0.001655848,0.0007070224,0.0002846771,0.0004164327,0.0008553479,0.06324679],"genre_scores_gemma":[0.8394085,0.001000376,0.1380834,0.001124545,0.0009531648,0.0004601737,0.0002662624,0.0002035661,0.0185001],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003225448,"threshold_uncertainty_score":0.01079017,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006126340661898675,"score_gpt":0.2345454554971801,"score_spread":0.2284191148352814,"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."}}