{"id":"W1854985511","doi":"10.1007/978-3-642-22321-1_15","title":"Enumeration and Decidable Properties of Automatic Sequences","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Decidability; Enumeration; Recursively enumerable language; Class (philosophy); Computer science; Function (biology); Sequence (biology); Characterization (materials science); Combinatorics; Discrete mathematics; Mathematics; Algorithm; Artificial intelligence; Biology; Physics","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.002035804,0.000841914,0.0007931227,0.001668511,0.001695631,0.004611513,0.002478492,0.001261773,0.005921695],"category_scores_gemma":[0.01122516,0.001132351,0.001715742,0.002440106,0.004596876,0.009941346,0.002028433,0.005195644,0.0007608776],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002017343,"about_ca_system_score_gemma":0.001379866,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001073889,"about_ca_topic_score_gemma":0.001433456,"domain_scores_codex":[0.9971206,0.0008167805,0.000263532,0.0006711907,0.000817151,0.0003107338],"domain_scores_gemma":[0.9843587,0.01309625,0.0005289172,0.001195074,0.0005805249,0.0002406288],"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.00006724274,0.00005795797,0.00032558,0.0001140116,0.0000151816,0.0001050658,0.0003876951,0.003778008,0.001973827,0.9708746,0.001537597,0.02076312],"study_design_scores_gemma":[0.00001578391,0.000009202422,0.0001096656,0.0000200989,0.00000840823,0.00007701935,0.00003908321,0.007200711,0.00143262,0.9886672,0.00241172,0.000008520854],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2451977,0.003266661,0.6046074,0.00288223,0.0003262357,0.0001712619,0.001274223,0.001551034,0.1407233],"genre_scores_gemma":[0.8350568,0.001589726,0.1332763,0.0004449726,0.0005740656,0.0004465433,0.002430616,0.0004891308,0.02569173],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005921695,"threshold_uncertainty_score":0.01981002,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02270126457209274,"score_gpt":0.2148489491908325,"score_spread":0.1921476846187398,"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."}}