{"id":"W1834459590","doi":"","title":"What is a maximal error-detecting capability of a formal language?","year":2006,"lang":"en","type":"article","venue":"","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Saint Mary's University","funders":"","keywords":"Computer science; Class (philosophy); Set (abstract data type); Channel (broadcasting); Formal language; Error detection and correction; Theoretical computer science; Emphasis (telecommunications); Algorithm; Artificial intelligence; Programming language; Telecommunications","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.005109795,0.0009331142,0.001076431,0.002871939,0.001137787,0.004168114,0.001711784,0.001725495,0.003394129],"category_scores_gemma":[0.02455208,0.0005014949,0.001243191,0.001802137,0.009184846,0.01256547,0.001916392,0.001528961,0.0005574697],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001080047,"about_ca_system_score_gemma":0.001347151,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006358954,"about_ca_topic_score_gemma":0.0003045337,"domain_scores_codex":[0.9951934,0.001114533,0.0004173507,0.001322461,0.001267933,0.0006842606],"domain_scores_gemma":[0.9586214,0.03047622,0.002943835,0.003357372,0.003053832,0.001547363],"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.0001769846,0.0000624026,0.003295539,0.0005051206,0.00008189129,0.0003796392,0.001403346,0.01093339,0.008017889,0.9468408,0.0007851954,0.0275179],"study_design_scores_gemma":[0.00001757285,0.0001035051,0.0006791209,0.0001777495,0.00005896257,0.0007674977,0.0005274934,0.01797414,0.01349892,0.9601434,0.005958371,0.00009327191],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3210675,0.002631993,0.6349134,0.004141543,0.0002763165,0.0001362617,0.0009007095,0.001236989,0.03469526],"genre_scores_gemma":[0.9466798,0.0007851727,0.05031766,0.0002503913,0.0002665308,0.00007690434,0.0001544166,0.0001098625,0.001359296],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005109795,"threshold_uncertainty_score":0.02702355,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009546469054599459,"score_gpt":0.2401011392729235,"score_spread":0.230554670218324,"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."}}