{"id":"W2570053645","doi":"10.1142/s0129054112400448","title":"ENUMERATION AND DECIDABLE PROPERTIES OF AUTOMATIC SEQUENCES","year":2012,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":67,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Winnipeg; University of Waterloo","funders":"","keywords":"Decidability; Enumeration; Recursively enumerable language; Mathematics; Combinatorics; Class (philosophy); Discrete mathematics; Function (biology); Sequence (biology); Computer science; Biology; Artificial intelligence","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.001063018,0.0004625844,0.0003958074,0.0009485151,0.00109934,0.00191605,0.001175314,0.000693583,0.003677712],"category_scores_gemma":[0.006650012,0.0004289941,0.001078287,0.001032865,0.002540268,0.00432832,0.001426856,0.001836107,0.0004360247],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001141092,"about_ca_system_score_gemma":0.0007205314,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006543523,"about_ca_topic_score_gemma":0.0008350373,"domain_scores_codex":[0.9984025,0.0003832766,0.0001598391,0.0004242983,0.0004063693,0.000223679],"domain_scores_gemma":[0.9915759,0.006455371,0.0006909456,0.0006815016,0.0004028467,0.0001934801],"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.0001446904,0.0001146228,0.002190377,0.0001970756,0.00002309192,0.0005229223,0.001124685,0.01685335,0.01634671,0.926371,0.001128522,0.03498292],"study_design_scores_gemma":[0.00002323124,0.00004880004,0.0005640399,0.00003732541,0.00001936742,0.0004065455,0.0001514284,0.05186465,0.01278738,0.9301479,0.003918521,0.00003082154],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5097392,0.0005943916,0.4482947,0.0007935938,0.00007621153,0.00009015438,0.0004220656,0.00112332,0.03886637],"genre_scores_gemma":[0.936739,0.0002495025,0.05623218,0.0001156804,0.0001006048,0.0001224527,0.0004907629,0.0001163467,0.0058334],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003677712,"threshold_uncertainty_score":0.01230323,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02306499012198243,"score_gpt":0.278462639676021,"score_spread":0.2553976495540386,"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."}}