{"id":"W2144782101","doi":"10.1142/s0129054111008647","title":"OVERLAP-FREE LANGUAGES AND SOLID CODES","year":2011,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Undecidable problem; Decidability; Prefix code; Property (philosophy); Computer science; Linear code; Mathematics; Prime (order theory); Regular language; Discrete mathematics; Block code; Algorithm; Theoretical computer science; Combinatorics; Automaton","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.001121225,0.0004646099,0.0004896118,0.0007673363,0.001179462,0.001832287,0.0008054501,0.0007839219,0.004144405],"category_scores_gemma":[0.005039025,0.0004678768,0.0009608434,0.0009439835,0.004018928,0.004196051,0.002196939,0.001941712,0.0006139559],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001118328,"about_ca_system_score_gemma":0.00136412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00136265,"about_ca_topic_score_gemma":0.001074883,"domain_scores_codex":[0.9980828,0.0003533715,0.0001679031,0.0005608826,0.0005090238,0.0003261405],"domain_scores_gemma":[0.9944255,0.003353034,0.0006164552,0.0007259587,0.0006085955,0.0002704294],"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.00007360492,0.00002236504,0.0004345663,0.00008241583,0.000009435716,0.0001524725,0.0005886627,0.007979824,0.003697669,0.9714026,0.0007103483,0.01484603],"study_design_scores_gemma":[0.0000255415,0.00003444043,0.0001266805,0.00002420267,0.00001123053,0.0002198197,0.0002007815,0.02790969,0.005395259,0.9576783,0.008353468,0.00002052754],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1408325,0.0003474692,0.843371,0.0006886527,0.00006483409,0.00009884869,0.0002477432,0.0006863219,0.01366261],"genre_scores_gemma":[0.7744266,0.0003277794,0.21287,0.000252952,0.000104109,0.0002548645,0.000569523,0.0002335639,0.01096066],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004144405,"threshold_uncertainty_score":0.0138644,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01867828429521361,"score_gpt":0.3070294396108643,"score_spread":0.2883511553156506,"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."}}