{"id":"W2004160537","doi":"10.1023/b:pacs.0000021270.99375.f5","title":"Infinite Strings Generated by Insertions","year":2004,"lang":"en","type":"article","venue":"Programming and Computer Software","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of New Brunswick","funders":"","keywords":"Countable set; Mathematics; Alphabet; String (physics); Discrete mathematics; Set (abstract data type); Combinatorics; Invariant (physics); 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000905126,0.0007235542,0.0006985741,0.001576475,0.001603903,0.002884631,0.001255122,0.001732986,0.009396988],"category_scores_gemma":[0.006093151,0.0006592482,0.0009510561,0.001391852,0.002160208,0.00536572,0.001937662,0.00254358,0.003238094],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005947659,"about_ca_system_score_gemma":0.000415458,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001225835,"about_ca_topic_score_gemma":0.0001048072,"domain_scores_codex":[0.9985525,0.0003759717,0.0001263204,0.0003101206,0.0004446913,0.0001903958],"domain_scores_gemma":[0.9942509,0.003913878,0.000376343,0.0005581527,0.0006665872,0.0002341425],"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.0002176549,0.00007653444,0.0006493118,0.0001631784,0.00002023888,0.001243001,0.001113834,0.001899283,0.01719591,0.9479485,0.002472383,0.02700011],"study_design_scores_gemma":[0.00002808487,0.00004045954,0.0002673857,0.00004436992,0.00004044816,0.0007938122,0.0001995983,0.01239394,0.01103385,0.9631414,0.01198414,0.00003264066],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3754167,0.0009491118,0.4945763,0.001942141,0.000850419,0.000116541,0.0008071302,0.003353284,0.1219885],"genre_scores_gemma":[0.8865625,0.0005159398,0.06519766,0.000553944,0.0004132969,0.0002215386,0.001217066,0.001278143,0.04403982],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009396988,"threshold_uncertainty_score":0.03143609,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009043573863573866,"score_gpt":0.2093498523742697,"score_spread":0.2003062785106959,"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."}}